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

8. Representaciones
Ejm:

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