Documentos de Académico
Documentos de Profesional
Documentos de Cultura
a
Se cumple |a| = 1 ≤ 2 1 - 1
Paso: Sea un árbol con camino de longitud i.
S
T1 T2
x1 x2
La longitud máxima de los caminos de T1 y T2 es como máximo i - 1. Aplicando
la hipótesis, |x| = | x1 | + | x2 | ≤ 2 i - 2 + 2 i - 2 = 2 i - 1.
3.1. Lema de Bombeo
∀ L de tipo 2, ∃ n > 0: ∀z ∈L con | z | ≥ n, ∃ u, v, w, x, y : z = uvwxy con
| vx | ≥ 1, | vwx |≤ n y se cumple uviwxiy ∈ L, ∀i ≥ 0.
A Se tiene A Ø x2 A x4 y A Ø x3
por lo que A Ø x2i x3 x4i
además | x2 x4 | ≥ 1 y | x2 x3 x4 | ≤ 2k = n
x2 x3 x4
El árbol de derivación de x es:
x1 x2 x3 x4 x5
Haciendo x1= u x2 = v x3 = w x4 = x x5 = y se tiene lo propuesto
L1 ∩ L2 = {0i 1i 2i : i ≥ 0}
Averiguar si el lenguaje generado por una gramática independiente de contexto es (no es)
vacío es decidible.
L(G) ≠ ∅ ⇔ S es generativo
Averiguar si el lenguaje generado por una gramática independiente de contexto es (no es)
finito es decidible.
Algoritmo:
A partir de G = (N, Σ, P, S ) en FNC, construimos grafo dirigido con:
• Los auxiliares como nodos.
• Si A Ø BC ∈ P hay un arco de A a B y otro de A a C.
• L = L(G) es infinito si y solo si en el grafo anterior hay un ciclo.
S Ø AB | 0 S Ø AB | 0
A Ø BB | BC | 1 A Ø BB | BC | 1
B Ø CC | 0 B Ø CC | 0
C Ø AS | 1 CØ1