Compilador Diseo - Autmatas Finitos

Autmatas finitos es una mquina de estado que toma una cadena de smbolos en la entrada y su estado cambia en consecuencia. Autmatas finitos es un reconocedor de expresiones regulares. Cuando una expresin regular cadena se alimenta en autmatas finitos, cambia su estado para cada literal. Si la cadena de entrada es procesado correctamente y los autmatas alcanza su estado final, es un hecho aceptado, es decir, la cadena slo alimenta se dijo que era un token vlido de la lengua en la mano.

El modelo matemtico de autmatas finitos consta de:

• Conjunto finito de estados (Q)
• Conjunto finito de smbolos de entrada ()
• Un estado de inicio (q0)
• Conjunto de estados (qf)
• Funcin Transicin ()

La funcin transicin () asigna el conjunto finito de estado (Q) de un conjunto finito de smbolos de entrada ((), Q Q

Autmatas Finitos Construccin

Sea L(r) es un idioma reconocido por regular algunos autmatas finitos (FA).

• Estados: Estados de FA estn representados por crculos. De los nombres se escriben dentro de los crculos.

• Estado de inicio: El estado desde donde los autmatas 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 autmata se espera que est en este estado. Estado final est representado por dos crculos. Puede haber cualquier nmero impar de flechas apuntando a ella e, incluso, nmero de flechas que apuntan hacia fuera de ella. El nmero impar de flechas son incluso ms quees decir,extrao = incluso+1.

• Transicin: La transicin de un estado a otro estado ocurre cuando un smbolo deseado en la entrada se encuentra. Autmatas de la transicin, 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 autmatas permanece en el mismo estado, una flecha que apunta a un estado que se dibuja.

Ejemplo: suponemos FA tres dgitos acepta cualquier valor binario que termina en dgito 1. FA = {Q(q₀, q_f), (0,1), q₀, q_f, }