2. Máquina abstracta que reconoce
cadenas de caracteres dando una
respuesta de “SÍ” o “NO”
basada en las transiciones entre
“estados” de la máquina
ALGORITMO
a. Comenzar en el “estado inicial”
b. Transición al estado siguiente escogiendo el
arco saliente etiquetado con ese carácter;
c. Pasar al siguiente carácter de la cadena;
Hasta que la cadena esté vacía o no haya
transición aplicable;
d. Si la cadena está vacía Y el estado actual es
un estado final devuelve “SI”en otro caso
devuelve “NO”.
Maquinas equivalentes
Son las maquinas
determinísticas
A1=(ä,Q1,f1,qO1,F1) y A2
= (ä,Q2,f2, qO2,F2)
decimos que las dos
maquinas son equivalentes
si reconocen el mismo
lenguaje
Estados Equivalentes
Sea la maquina determinista (ä,
Q f, qO, F) decimos que dos
estados p,q1Q son equivalentes
(se representa por pEq) si para
toda palabra xlä*, se verifica
que f(p,x)Füf(q,x)IF.
•Estado del proceso
•Transición entre estados controlada
por el reconocimiento de un carácter
concreto
• Estado inicial
•Estado final
Componentes
Maquinas de estado
finito
