Autómatas

MC Alejandra Montoya Canales

CLASE MODELO

Morelia, Mich. A 17 DE MARZO DEL 2011

¿Qué es un Autómata?
• Es una representación de una máquina de
estados.

• Es un diagrama de transiciones.

• Es un modelo matemático que representa una

máquina abstracta.
¿Qué es un Autómata?
PUSH

OFF ON

PUSH
Autómata
• Diseño y verificación de circuitos digitales.

• El analizador léxico de un típico compilador, esto es la parte del

compilador que, descompone las entradas de texto en:
identificadores, tokens y puntuación.

• Software para escanear grandes bloques de texto, con la finalidad

de encontrar ocurrencias de palabras, frases y otros patrones

• En software de verificación de sistemas que tienen un número

finito de distintos estados, tales como protocolos de comunicación
o protocolos para seguridad en intercambio de información.
Autómata Finito
• Determinista
Es una máquina que pasa de
un estado a otro, como
respuesta a cada uno de los
símbolos de una cadena de
entrada.
AFD
• No Determinista
• Es aquel que puede tener cero,
una o más transiciones
distintas para un mismo
símbolo de entrada.
AFN
Autómata Finito Determinista
• Diagrama de transiciones • Representación matemática

M= ( Q , Σ, s ,F, δ )

• Q, es un conjunto finito de estados.

a b a
• Σ, es el alfabeto de entrada.
q0 q1 q2
• s pertenece a Q y es el estado inicial

δ (q0, a) = q0 • F es un subconjunto de los estados de

δ (q0, b) = q1 aceptación
δ (q1, a) = q2
• δ es la función de transición (δ: Q X Σ
δ (q0, a) = q0
-> Q)
Construir el Diagrama de Transiciones

L = { (ab) n | n ≥ 1 }
Tabla de Transiciones.

a b b a a, b

q0 q1 q2

a b
->q0 q0 q1

q1 q2 q1

*q2 q2 q2
Referencias
•Sudkamp, Thomas A., Languages and machines : an introduction
to the theory of computer science / Thomas A. Sudkamp., 2nd ed.,
Reprinted with corrections., Reading, Mass. : Addison-Wesley
Pub., c1998, c1997., Massachusetts, c1998, c1997., eng.
•
* Hopcroft, John E., 1939-, Introduction to automata theory,
languages, and computation / John E. Hopcroft, Rajeev Motwani,
Jeffrey D. Ullman., 2th ed., Boston : Addison-Wesley, c2001,
Massachusetts, c2001, eng.

* Louden, Kenneth C., Construcción de compiladores : principios

y práctica / Kenneth C. Louden., , México D. F. : Thomson,
c2004., Mexico, c2004., spa,
Autómatas
MC Alejandra Montoya Canales

CLASE MODELO

Morelia, Mich. A 17 DE MARZO DEL 2011

Gracias por su atención !!