Beruflich Dokumente
Kultur Dokumente
TUTOR:
LUIS ERNESTO BONILLA
Características:
• Ausencia de ambigüedad, por tanto son bien definidas.
• Rigurosas (claridad, explicitud).
• Facilitan evaluación: comprobar, conclusiones, derivar.
• Hacer predicciones: generalización.
• Desarrollo de aplicaciones.
Tipos de gramáticas
Jerarquía de Chomsky
Las gramáticas generativas son modelos matemáticos finitos que nos
permiten las cadenas o palabras de un lenguaje finito o infinito, Estas se
clasifican en 4 tipos según la jerarquía de Chomsky.
1. Hay que notar que un lenguaje regular siempre es un lenguaje libre de contexto
A ∈ ΣN
x, y ∈ (ΣT 𝖴 ΣN )∗
v ∈ (ΣT 𝖴 ΣN )+
Gramáticas lineales por la derecha: sea 𝐺 = (Σ 𝑇, Σ𝑁, 𝑆, 𝑃) Las reglas de producción de P serán de la
forma:
A ::= a
A ::= aV
S ::= λ
Donde a ∈ Σ 𝑇 , 𝐴, 𝑉, 𝑆 ∈ Σ𝑁 , S es el axioma de la gramática.
En los dos casos, la ultima regla se puede aplicar si la gramática no es recursiva en S. Si se desea
considerar el lenguaje representado por la gramática a la palabra vacía, se genera una nueva transición.
Realice un ejemplo de autómata a Pila de
autoría propia
Tenemos el ejercicio
simulado en jflap de autoría
propia con el siguiente
lenguaje:
ababab.
Observamos que en la
simulación empieza desde Z
que es el inicio de la pila.
Tabla de transición
q0 ababab Z
Autómata a Pila de autoría
propia
Observamos el primer paso “a”
en el estado q0 dice que se
mantiene en “a”, no quita nada a
la pila pero si agrega un 1.
Tabla de transicion
Estado Por leer Pila
q0 ababab Z
q0 babab 1Z
Autómata a Pila de autoría
propia
Al aplicar el siguiente paso
La entrada “b”, la transición me
lleva hasta q1, no me quita nada
pero si me agrega otro 1.
Tabla de transicion
Estado Por leer Pila
q0 ababab Z
q0 babab 1Z
q1 abab 11Z
Autómata a Pila de autoría
propia
Al aplicar el siguiente paso la
transición se queda en q1 con la
entrada “a”, y este me quita un 1
y no me agrega nada.
Tabla de transicion
Estado Por leer Pila
q0 ababab Z
q0 babab 1Z
q1 abab 11Z
q1 bab 1Z
Autómata a Pila de autoría
propia
Al aplicar la entrada “b” la
transición me lleva a q3, no me
quita nada, pero si me agrega un
1.
Tabla de transicion
Estado Por leer Pila
q0 ababab Z
q0 babab 1Z
q1 abab 11Z
q1 bab 1Z
q3 ab 11Z
Autómata a Pila de autoría
propia
Se realiza el siguiente paso, la
transición va hasta el estado
final q2 cuando lee “a”, le
extrae un 1, pero no le agrega
nada mas a la pila.
Tabla de transicion
Estado Por leer Pila
q0 ababab Z
q0 babab 1Z
q1 abab 11Z
q1 bab 1Z
q3 ab 11Z
q2 b 1Z
Autómata a Pila de autoría
propia
Cuando se lee “b”, se extrae un
1 de la pila quedando la pila
vacía “Z” nuevamente y se
observa que el autómata es
aceptado.
Tabla de transicion
Estado Por leer Pila
q0 ababab Z
q0 babab 1Z
q1 abab 11Z
q1 bab 1Z
q3 ab 11Z
q2 b 1Z
q2 ʎ Z
Referencias Bibliográficas
Viñueta PI, Martínez P, Millán DB. (2001), Lenguajes,
Gramáticas y autómatas un enfoque practico, Madrid España,
Addison Wesley.
https://books.google.com.co/books?id=sfzrzxMVVMUC&pg=PA
256&lpg=PA256&dq=automata+de+pila+por+vaciado&source=b
l&ots=W4x-Wlygx7&sig=WQVPbwa7epmNhJSG1Ks5-
aT54es&hl=es&sa=X&ved=0ahUKEwja8rXKsvLWAhVB2yYK
Ha7IDJA4ChDoAQhGMAY#v=onepage&q=automata%20de%2
0pila%20por%20vaciado&f=true
Gaudioso H, García T. (2017), Introducción a la teoría de
autómatas, gramáticas y lenguajes, Madrid España . Editorial
universitaria Ramon Areces.
https://books.google.com.co/books?id=MBw3DwAAQBAJ&pg=
PA110&dq=Aut%C3%B3mata+a+pila+por+estados+finales&hl=
es&sa=X&ved=0ahUKEwjQwK6wuPLWAhVGPiYKHVIaDAo
Q6AEIJDAA#v=onepage&q=Aut%C3%B3mata%20a%20pila%
20por%20estados%20finales&f=false