Revisando la jerarquía de chomsky
-
Upload
ivan-vladimir-meza-ruiz -
Category
Education
-
view
42 -
download
3
Transcript of Revisando la jerarquía de chomsky
![Page 1: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/1.jpg)
Revisando la jerarquía deChomsky
Hierarchies are celestial. In hell all are equal—Nicolás Gómez Dávila
Ivan Meza
![Page 2: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/2.jpg)
Son una tupla , donde:
Gramáticas dependientes decontexto (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 ∈ VS ∈ V
![Page 3: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/3.jpg)
W
B
b
S
S
c
B
W
X
B
B
X
→→→→→→→
W
B
b
abc
aSBc
W
X
B
c
b
B
X
¿Alguien ve el error?
![Page 4: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/4.jpg)
W
B
b
b
c
S
S
C
B
W
X
B
C
c
B
X
→→→→→→→→→
W
B
b
b
c
abC
aSBC
W
X
B
C
b
c
c
B
X
![Page 5: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/5.jpg)
Jerarquía de ChomskyLenguaje Gramática Máquina Ejemplo
Dependiente delcontexto
Tipo 1 ( )
??
Independiente delcontexto
Tipo 2 ( )
Autómatade pila
Regular Tipo 3 ( )
Autómatafinito
αV β → αγβww, anbncn
V → αw ,wr anbn
V → aA|ϵw, a∗
![Page 6: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/6.jpg)
El lenguaje aceptado por unaGDCL(G) = {w ∈ |S w}Σ∗ ⇒+
![Page 7: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/7.jpg)
Gramáticas monotónicasSon una tupla , donde: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
y que denominamos símbolo inicial
V
ΣP α → β |α| ≤ |β|, αβ ∈ (Σ ∪ V )∗ S → ϵS ∈ V
![Page 8: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/8.jpg)
S
S
cB
bB
→→→→
aSBc
abc
Bc
bc
![Page 9: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/9.jpg)
Las gramáticas dependientes delcontexto (GDC) son equivalenteas las gramáticas monotónicas(GM)
![Page 10: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/10.jpg)
Formas normalesForma normal de Chomsky para GLC
A → BC
A → a
A → ϵ
![Page 11: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/11.jpg)
PropiedadesForma normal de Chomsky
Todas las producciones tienen para Se puede buscar por fuerza brutaToda gramática libre de contexto se reduce a FNC
2n − 1 |w| = n
![Page 12: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/12.jpg)
Reducción: paso ceroAgregar inicial
Agregar → SS0
![Page 13: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/13.jpg)
Reducción: paso unoQuitar transiciones ϵ
Identificar las reglas que producen Crear versiones de otras reglas donde la producción aparece
si y , entonces
Borrar transiciones
ϵ
P → AxB A → ϵ B → ϵ P → Ax|xB|x
ϵ
![Page 14: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/14.jpg)
Reducción: paso dosQuitar transiciones unitarias
Identificar las reglas de la forma (unitarias)Por cada producción agregar Borrar transiciones unitarias
A → BB → α A → α
![Page 15: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/15.jpg)
Reducción: paso tresReducir transiciones largas
Identificar las reglas de la forma Agregar las versiones , ...
Quitar versión original
A → . . .X1 Xn
A → X1A1 →A2 X2A2→An−1 Xn−1Xn
![Page 16: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/16.jpg)
Reducción: paso cuatroRemover terminales
Identificar las reglas de la forma Agregar la regla Y agregar la regla Quitar versión original
A → . . . a. . .X1 Xn
A → . . . . . .X1 Na Xn
→ aNa
![Page 17: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/17.jpg)
Reducir
S → ASA|aBA → B|SB → b|ϵ
![Page 18: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/18.jpg)
Forma normal de Greibach (GLC)
A → a . . .A1 An
S → ϵ
![Page 19: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/19.jpg)
Forma normal de Kuruda (GDC)
AB → CD
A → BC
A → B
A → a
![Page 20: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/20.jpg)
En resumen
GLC tienen FNC y FNGGM tienen FNKToda GLC se puede transformar a FNC y FNG; son debilmenteequivalentesToda GM se puede transformar a FNK; son debilmente equivalentes
![Page 21: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/21.jpg)
Autómata lineal con fronteraEs una tupla (Q, Σ, Γ, , B, A, δ)q0
conjunto finito de estados alfabeto de cadenas reconocidas alfabeto de cinta, estado inicial Símbolo de espacio en blanco pero estados finales
función de transición
QΣΓ Σ ⊂ Γq0B B ∈ Γ B ∉ ΣAδQ × Γ ∪ {<, >} → Q × Γ ∪ {<, >} × {der, izq}
Restricción, no se puede ir más allá de los símbolos <, >
![Page 22: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/22.jpg)
s wt u v</</R
</</R
x/x/R
a/x/R
a/a/R
x/x/R x/x/R
b/x/R
b/b/Rb/b/L
c/x/L
a/a/L
c/c/L
x/x/L
</</R
![Page 23: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/23.jpg)
Autómata de doble pila*Es una tupla (Q, Σ, Γ, , , A, δ)q0 Z0
conjunto finito de estados alfabeto de cadenas reconocidas alfabeto de pila estado inicial símbolo inicial de la pila
estados finales función de transición
QΣΓq0Z0Aδ Q × (Σ ∪ {ϵ}) × Γ × Γ → Q × ×Γ∗ Γ∗
Un AFND- + dos pilasϵ
![Page 24: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/24.jpg)
a,Zo/BZo,CZo
a,B/BB,C/CC
b,B/ε,C/C
Z0
Z0
b,B/ε,C/C
q0 q1 q2 q3c,Zo/Zo,C/ε
c,Zo/Zo,C/ε
ε,Zo/Zo,Zo/Zo
![Page 25: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/25.jpg)
Jerarquía de ChomskyLenguaje Gramática Máquina Ejemplo
Dependiente delcontexto
Tipo 1 ( )
Autómatalineal confrontera
Independientedel contexto
Tipo 2 ( )
Autómata depila
Regular Tipo 3 ( )
Autómatafinito
αV β → αγβww, anbncn
V → αw ,wr anbn
V → aA|ϵw, a∗
![Page 26: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/26.jpg)
AF, AFNDAFND-ɛ
L
Verdadero
Falso
R
LLCAP, APD
ALFLDC
![Page 27: Revisando la jerarquía de chomsky](https://reader036.fdocuments.mx/reader036/viewer/2022062502/58aac6df1a28ab2f728b4ed3/html5/thumbnails/27.jpg)
[email protected] ivanvladimir.github.io ivanvladimir
Revisando la jerarquía de Chomsky by is licensedunder a
. Creado a partir de la obra en
.
Ivan V. Meza RuizCreative Commons Reconocimiento 4.0 Internacional
License
http://turing.iimas.unam.mx/~ivanvladimir/slides/lfya/chomsky.html