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

1. UNIVERSIDAD FERMÍN TORO
VICERRECTORADO ACADÉMICO
FACULTAD DE INGENIERIA
ESCUELA DE COMPUTACION
Edianny Adan
CI.26370562

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