2. MÁQUINAS DE ESTADO FINITO
máquina abstracta que reconoce cadenas de
caracteres dando una respuesta de “SÍ” o
“NO”
ejemplo
Computador
● Un conjunto finito I de símbolos de
entrada.
● Un conjunto finito O de símbolos
de salida.
● Un conjunto finito S de estados.
● Una función estado siguiente f de S
X I en S .
● Una función salida g de S X I en O
.
● Un estado inicial (o , incluido en S.
consiste en
Ocurre una transición, donde al
llegar un símbolo de entrada, el
modelo responda primero con un
símbolo de salida y luego exista
un cambio a un nuevo estado.
La transición es la
unidad de
operación en las
máquinas de
estado finito.