Autmatas

Finitos

MAPA CONCEPTUAL

DEFINICIN
Un autmata finito o mquina de estado finito es
un modelo matemtico de un sistema que recibe
una cadena constituida por smbolos de un
alfabeto y determina si esa cadena pertenece al
lenguaje que el autmata reconoce.

 E: alfabeto de entrada.
Q: conjunto de estados; es conjunto finito no vaco.
f: funcin de transicin. f(p,a)=q
q0 : (perteneciente a Q) estado inicial.
F : (perteneciente a Q) conjunto de estados finales o de
aceptacin.

CLASIFICACIN
Deterministas
Cada combinacin (estado, smbolo de entrada) produce un solo
estado.
No Deterministas
Cada combinacin (estado, smbolo de entrada) produce varios
estados y adems son posibles las transiciones con .

Los autmatas se pueden representar

mediante tablas de transicin o
diagramas de transicin.
Tablas de transicin:
Filas encabezadas por los estados( Q )
Columnas encabezadas por los smbolos de entrada

ESTADOS
1
2
N

SIMBOLOS DE ENTRADA
Smbolo 1

Smbolo 2

Smbolo n

Diagramas de transicin:
Nodos etiquetados por los estados(Q)
Arcos entre nodos etiquetados con ( E n )
Q0 se seala con ->
El estado final se seala con * o con doble circulo

Ejemplo