MAQUINAS DE ESTADO FINITO:
Teoria de Autonomas Finitos.
Es un modelo matematico que puede ser simulado e implementado como programa de computador.
se utiliza porque
- Resuelve la mayoria de los problemas en el análisi léxico.
- Consumen una cantidad fija de memoria
- Son muy eficientes
- Existe una teoría matemática que da sustento y permite modificarlos
Una máquina de Estado Finito consta de
- Un conjunto finito de símbolos de entrada
- Un conjunto finito de estados
- Uno o mas estados definidos como estado inicial
- Uno a más estados definidos como estsados de aceptación
- Un conjunto transiciones
MEF DETERMINISTA:
Son aquellas que la transaccion es unica
y tiene un solo estado inicial.
MEF NO DETERMINISTA:
Son aquellas que pueden tener mas de un estado inicial y alguna transaccion puede ser hacia dos o mas estados.
