Compilador Diseño - Autómatas Finitos
Autómatas finitos es una máquina de estado que toma una cadena de símbolos en la entrada y su estado cambia en consecuencia. Autómatas finitos es un reconocedor de expresiones regulares. Cuando una expresión regular cadena se alimenta en autómatas finitos, cambia su estado para cada literal. Si la cadena de entrada es procesado correctamente y los autómatas alcanza su estado final, es un hecho aceptado, es decir, la cadena sólo alimenta se dijo que era un token válido de la lengua en la mano.
El modelo matemático de autómatas finitos consta de:
- Conjunto finito de estados (Q)
- Conjunto finito de símbolos de entrada (Σ)
- Un estado de inicio (q0)
- Conjunto de estados (qf)
- Función Transición (δ)
La función transición (δ) asigna el conjunto finito de estado (Q) de un conjunto finito de símbolos de entrada ((Σ), Q × Σ ➔ Q
Autómatas Finitos Construcción
Sea L(r) es un idioma reconocido por regular algunos autómatas finitos (FA).
Estados: Estados de FA están representados por círculos. De los nombres se escriben dentro de los círculos.
Estado de inicio: El estado desde donde los autómatas se inicia, se conoce como el estado de inicio. Estado de inicio tiene una flecha apuntando hacia ella.
Los estados intermedios: Todos los estados intermedios tienen al menos dos flechas, una apuntando a y otro que salen de ellos.
Estado final: Si la cadena de entrada se analiza correctamente, el autómata se espera que esté en este estado. Estado final está representado por dos círculos. Puede haber cualquier número impar de flechas apuntando a ella e, incluso, número de flechas que apuntan hacia fuera de ella. El número impar de flechas son incluso más quees decir,extraño = incluso+1.
Transición: La transición de un estado a otro estado ocurre cuando un símbolo deseado en la entrada se encuentra. Autómatas de la transición, puede pasar al siguiente estado o permanecer en el mismo estado. Movimiento de un estado a otro se muestra como una flecha dirigida, en donde las flechas puntos para el estado de destino. Si autómatas permanece en el mismo estado, una flecha que apunta a un estado que se dibuja.
Ejemplo: suponemos FA tres dígitos acepta cualquier valor binario que termina en dígito 1. FA = {Q(q0, qf), Σ(0,1), q0, qf, δ}
