Diese Präsentation wurde erfolgreich gemeldet.
Die SlideShare-Präsentation wird heruntergeladen. ×

Automatas y compiladores clase3

Anzeige
Anzeige
Anzeige
Anzeige
Anzeige
Anzeige
Anzeige
Anzeige
Anzeige
Anzeige
Wird geladen in …3
×

Hier ansehen

1 von 12 Anzeige
Anzeige

Weitere Verwandte Inhalte

Anzeige

Weitere von Germania Rodriguez (20)

Anzeige

Aktuellste (20)

Automatas y compiladores clase3

  1. 1. Teoría de Autómatas y Compiladores Germania Rodríguez grrodriguez@utpl.edu.ec
  2. 2. Expresiones Regulares
  3. 3. Expresiones Regulares •  Propiedades:
  4. 4. Expresiones Regulares •  Ejemplos:
  5. 5. Autómatas Finitos Un autómata finito es un modelo matemático de una máquina que se utiliza para describir el proceso de reconocimiento de patrones en cadenas de entrada. El autómata finito acepta una cadena x si la secuencia de transiciones correspondientes a los símbolos de x conduce desde el estado inicial a un estado final definidos.
  6. 6. Autómatas Finitos Generalmente se asocia con cada autómata un grafo dirigido, llamado diagrama de transición de estados. Cada nodo del grafo corresponde a un estado. El estado inicial se indica mediante una flecha que no tiene nodo origen. Los estados finales se representan con un círculo doble. Si existe una transición entre estados existe entonces un arco rotulado. Ejm: Para el patrón identificadores = letra (letra | digito)*
  7. 7. Autómatas Finitos Si para todo estado del autómata existe como máximo una transición definida para cada símbolo del alfabeto, se dice que el autómata es determinístico (AFD). Si a partir de algún estado y para el mismo símbolo de entrada, se definen dos o más transiciones se dice que el autómata es no determinístico (AFND).
  8. 8. Autómatas Finitos Un AFD es una quíntupla A = {Σ, S, T, s0, A} Σ alfabeto S estados T función de transición T: S x Σ  S S0 estado inicial s0 E S A conjunto de estados de aceptación A C S El lenguaje aceptado por M se identifica L(M) y define el conjunto de cadenas c 1 ,c 2 ,…c n aceptadas.
  9. 9. Autómatas Finitos El lenguaje aceptado por M se identifica L(M) y define el conjunto de cadenas c1,c2,…cn aceptadas.
  10. 10. Autómatas Finitos Deterministas AFD Ejm: Para el patrón identificadores = letra (letra | digito)* Algunas acotaciones: •  Se puede utilizar el sistema de identificación que queramos para identificar los estados. •  Se puede etiquetar las transiciones con nombres que representan conjuntos de caracteres. •  Las transiciones dadas por la función T: S x Σ  S esto quiere decir T(s,c) debe tener un valor para cada s y c, las transiciones no definidas son Transiciones de error.
  11. 11. Autómatas Finitos Deterministas AFD Ejm: •  Estado error •  Transiciones: otro = - (letra | digito) •  Transición: cualquiera desde error
  12. 12. Bibliografía •  Kenneth C. Louden, Construccion de Compiladores Principios Y Práctica •  Universidad Jaume, Open Course Ware –II20 Teoría de autómatas y lenguajes formales en: http://e-ujier.uji.es/pls/ w w w / ! g r i _ w w w . e u j i 2 2 1 0 1 ? p_id=7&p_tipo=A&p_curso=II20&p_idioma=ES

×