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
trancisión
Si , entonces
δ(q, a, x)
δ(q, ϵ, x) ≠ ∅ δ(q, a, x) = ∅
7. Autómata de pila
determinístico (APD)
Es una tupla (Q, Σ, Γ, , , A, δ)q0 Z0
Pero además:
No más de una trancisión
Si existe trancisión , no existe ningún otra
más
ϵ
19. 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 en , tal que ,
Checar que se cumplan restricciones
Checar si para todo está en el
lenguaje
n
n
w 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 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
na
n
b
n
c
n
w 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 libres de contexto
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 → α
alpha ∈ (Σ ∪ V )
∗
A ∈ V
S ∈ V
43. 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
47. 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