Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.
Upcoming SlideShare
Jerarquia de chomsky
Jerarquia de chomsky
Loading in …3
×
1 of 12

Automatas y compiladores clase3

2

Share

Download to read offline

Related Books

Free with a 30 day trial from Scribd

See all

Related Audiobooks

Free with a 30 day trial from Scribd

See all

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

×