Teoria de Lenguaje
Teoria de Lenguaje
Teoria de Lenguaje
El lenguaje aceptado por un Autómata Finito, es fácilmente descrito por una simple
expresión regular.
Se define L0 = { ε }
L* = Clausura de Kleene
L+ = Clausura Positiva
Sea Σ un alfabeto, las expresiones regulares sobre Σ y los conjuntos que ellos
denotan se definen recursivamente como siguen:
Por lo tanto:
Teorema: Sea r una expresión regular, entonces existe un AFN- ε que acepta L(r).
ab
a|b
a b*
La clausura positiva ab+ para trabajar en JFLAP esta dada por ab+ = abb*
1. (p | q)* r
2. xyy* z
2.1.3. CONVERSION DE EXPRESION REGULAR A AFD.
AFN- ε
ε x y z
q0 {q1} Ø Ø Ø
q1 Ø {q2} Ø Ø
q2 {q3} Ø Ø Ø
q3 Ø Ø {q4} Ø
q4 {q5,q7} Ø Ø Ø
q5 Ø Ø {q6} Ø
q6 {q5,q7} Ø Ø Ø
q7 Ø Ø Ø {q8}
q8 {q9} Ø Ø Ø
*q9 Ø Ø Ø Ø
AFD
La estrategia para construir una expresión regular a partir de un autómata finito es:
Para ello se debe comenzar poniendo conjunto vacío en todos los estados para
nivelara al autómata e iniciar a remover los estados no finales (intermedios),
donde solo se deja el inicial y el final. Cuando el autómata va al mismo estado con
dos estados diferentes, se emplea la unión de los conjuntos por medio +.
Ejemplos:
1. Un conjunto finito de símbolos que forman cadenas del lenguaje que se esta
definiendo llamado símbolos terminales
b) El símbolo de producción →
Ejemplo:
S →aS
S →bA
A →aS
A→ε
2.2.1. CONVERSION DE AUTOMATA FINITO A GRAMATICA
Cada Autómata Finito puede ser representado por una Gramática, donde la
variable de producción representa el estado y los símbolo son los elementos.
Ejemplos:
Cada Gramática puede ser un Autómata Finito, done las variable de producción
son estados y los elementos son símbolos.
Ejemplo: