Este documento resume los conceptos clave de la jerarquía de Chomsky y los autómatas de pila. Explica que los lenguajes independientes de contexto son reconocidos por autómatas de pila, mientras que los lenguajes regulares son reconocidos por autómatas finitos. También introduce los lenguajes dependientes de contexto y propone ejemplos de gramáticas sensitivas al contexto.
2. Jerarquía de Chomsky
Lenguaje Gramática Máquina
Independiente de contexto Tipo 2
( )
Autómata de pila
Regular Tipo 3
( )
Autómata finito
V → α
V → aA|ϵ
6. Autómata de pila
determinístico (APD)
Es una tupla (Q, Σ, Γ, , , A, δ)q0 Z0
Para cada solo hay una transición, no más de una
transición
Si , entonces , si existe trancisión , no
existe ningún otra más
δ(q, a, x)
δ(q, ϵ, x) ≠ ∅ δ(q, a, x) = ∅ ϵ
18. Ambigüedad y no determinismo
es no determinístico, pero no es
ambiguo
AP (x = )x
r
G(x = )x
r
No determinismo tiene que ver con el proceso, ambigüedad
con la estructura
34. ¡Ahora si esta parte está
completa!
Lenguaje Gramática Máquina
Independiente de contexto Tipo 2
( )
Autómata de pila
Regular Tipo 3
( )
Autómata finito
V → α
V → aA|ϵ
36. Proponer lenguaje
Escoger
Proponer una cadena que dependa de
Particionar cadena en , tal que ,
Checar que se cumplan restricciones
Checar si para todo está en el lenguaje
n
n
uvwxy uwx < n |vx| ≥ 0
u w y ∈ Lv
i
x
i
i
37. Proponer lenguaje , que tal
Escoger , que tal
Proponer una cadena que dependa de
Particionar cadena en , tal que ,
Caso uno en aes,
Caso dos en aes y bes,
Caso tres en bes y ces,
Caso tres en ces,
En todos los casos existe una palabra que
a
k
b
k
c
k
n n
n a
n
b
n
c
n
uvwxy uwx < n |vx| ≥ 0
vwx a
i
a
i
b
n
c
n
vwx a
i
b
i
c
n
vwx a
n
b
i
c
i
vwx a
n
b
n
c
i
c
i
∉ L
42. Son una tupla , donde:
Gramáticas dependientes de
contexto (sensitivas)
G = (V , Σ, P , S)
es otro alfabeto que denominamos símbolos no terminales
(generalmente en mayúsculas)
es un alfabeto que denominamos símbolos terminales
es conjunto de reglas con la forma donde
y
que denominamos símbolo inicial
V
Σ
P αAβ → αγβ
α, β ∈ (Σ ∪ V )
∗
γ ∈ (Σ ∪ V )
+
A ∈ V
S ∈ V
46. ivanvladimir@gmail.com ivanvladimir.github.io ivanvladimir
Depende del contexto by is licensed under a
.
Creado a partir de la obra en
.
Ivan V. Meza Ruiz
Creative Commons Reconocimiento 4.0 Internacional License
http://turing.iimas.unam.mx/~ivanvladimir/slides/lfya/ldc.html