Automatas y compiladores clase3

3,086 views

Published on

Published in: Education
0 Comments
2 Likes
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total views
3,086
On SlideShare
0
From Embeds
0
Number of Embeds
25
Actions
Shares
0
Downloads
92
Comments
0
Likes
2
Embeds 0
No embeds

No notes for slide

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 FinitosUn 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 FinitosGeneralmente 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 FinitosSi 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 FinitosUn 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 SEl 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 FinitosEl lenguaje aceptado por M se identifica L(M) y define el conjunto de cadenas c1,c2,…cn aceptadas.
  10. 10. Autómatas Finitos Deterministas AFDEjm: 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 AFDEjm:•  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

×