Automatas y compiladores clase4
0 recomendaciones1,361 vistas
El documento resume los conceptos fundamentales de los autómatas finitos deterministas (AFD) y no deterministas (AFND), incluyendo sus definiciones formales como quíntuplas y la noción de lenguaje aceptado. También explica brevemente la diferencia entre AFD y AFND y cómo se pueden representar y implementar autómatas finitos en código.
Automatas y compiladores clase4
- 1. Teoría de Autómatas y Compiladores Germania Rodríguez grrodriguez@utpl.edu.ec
- 2. 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.
- 3. Autómatas Finitos Deterministas AFD El lenguaje aceptado por M se identifica L(M) y define el conjunto de cadenas c1,c2,…cn aceptadas.
- 4. 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).
- 5. Autómatas Finitos No Deterministas AFN Un AFN es una quíntupla A = {Σ, S, T, s0, A} Σ alfabeto S estados T función de transición T: S x (Σ U {ε}) P(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.
- 6. Autómatas Finitos No Deterministas AFN
- 7. Autómatas Finitos con movimientos libres
- 9. Implementación de autómatas finitos en código • if - while • while – case Tabla de transición SΣ c1 c2 otro Aceptación S1 S? S? S? No S2 S? S? S? No S3 S? S? S? Si
- 10. Desde ER a AFN
- 11. 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