Teoria de la Computación (CCOMP4)

Periodo: 2021.1
Programa: Ciencia de la Computación
Prof. Marcela Quispe Cruz
Fecha de Entrega: 07 de Mayo del 2021, a las 14:30h

Lista de Ejercicios 1

Pregunta 1
Considere a gramática GE = ({a, b, c, (, ), +, ∗}, {E, T, F }, E, P ) para expresiones aritméticas donde

P ={ E → E + T | T, T → T ∗ F | F, F → (E) | a | b | c }

Ahora considere la gramática GC = (VE ∪ {C, V }, TE ∪ {if, then, else, =}, C, PC ) para comando en
un lenguaje de programación. PC es dado por

C -> if V then C | if V then C else C | V = E

V -> a | b | c

donde E se refiere al no-terminal de la gramática GE , o sea, VE y TE son los no terminais y

terminales de la gramática GE .
Muestre que la gramática es ambigua para la entrada:

if a then if b then c=a else b=c

Pregunta 2
Considere las siguientes gramáticas:

1. S → AbS|a, A → a 6. S → aA|aS, A → ab
2. S → Sa|AB, A → aA|a, B → b 7. S → ASB|AB, A → aA|, B → b
3. S → aS|b
4. S → aS|aA, A → bS|bA| 8. S → Ab, A → AA|a
5. S → aSa|b 9. S → AS|b, A → AA|a

Indique cual gramática corresponde a cada lenguaje abajo. Puede haber más de una o ninguna
gramática para cada lenguaje.
(a) L1 : {ai b | i ≥ 1} . . . 21 22 23 24 25 26 27 28 29
(b) L2 : {(ab)i a | i ≥ 0} . . 2 1 22 23 24 25 26 27 28 29
(c) L3 : {ai b | i ≥ 2} . . . 21 22 23 24 25 26 27 28 29
(d) L4 : {ai baj | i ≥ 1, j ≥ 0} 2 1 22 23 24 25 26 27 28 29
(e) L5 : {ai b | i ≥ 0} . . . 21 22 23 24 25 26 27 28 29
(f) L6 : {ai bj | i ≥ 0, j > 0} 2 1 22 23 24 25 26 27 28 29
(g) L7 : {(ab)i | i ≥ 0} . . 21 22 23 24 25 26 27 28 29

Pregunta 3
Producir una GLC para L1 ∪L2 donde L1 = {0n 1n 2m 3m : n, m ≥ 0} y L2 = {0n 1m 2m 3n : n, m ≥ 0}.

Pregunta 4
Convierta su GLC de la Pregunta anterior a la forma normal de Chomsky. Muestre todos los pasos
involucrados.
Pregunta 5
Para cada lenguaje abajo, determine una gramática que la genere. Cuando no especificado, w es
un string sobre el alfabeto Σ = {a, b}
(a) L = {w | w posee la misma cantidad de ocurrencias de a’s y de b’s }
(b) L = {w | el tamaño de w es impar y el sı́mbolo del medio es a}
(c) L = {an bm | 0 ≤ n ≤ m ≤ 2n}
(d) L = {wcx | wR es sufijo de x, x ∈ {a, b}∗ }
(e) L = {ai bj ck | k = i + j}

Pregunta 6
Presente autómatas de pila que acepten los siguientes lenguajes.
(a) L = {an bn+m cm | n, m ≥ 0}
(b) L = {an bm cm dn | n ≥ 0 e m > 0}

Page 2