Lista de Ejercicios para el Examen 2

Teorı́a de la computación
21 de octubre de 2023

Ejercicio 1. Demuestre, usando lema de bombeo, que los siguientes lenguajes no son re-
gulares

(a) {0i 1i 2i : i ≥ 0}

(b) {www : w ∈ {0, 1}∗ }

2
(c) {0i : i ≥ 0}
3
(d) {0i : i ≥ 0}

(e) {0i 1j : i ≤ j}

(f ) {0i 12i : i ≥ 1}

(g) {w : w es palı́ndroma}

Ejercicio 2. Construya G.I.C para los siguientes lenguajes

(a) {0n 1n : n ≥ 1}

(b) {0n 1n : n ≥ 0} ∪ {1n 0n : n ≥ 0}

(c) {w : w comienza y termina en el mismo sı́mbolo}

(d) {bn am b2n : n ≥ 0, m ≥ 0}

(e) {w : w es palı́ndromo}

(f ) {w#wR : wR es la cadena w leı́da al revés}

(g) {ai bj ck : i 6= j o j 6= k}

(h) Paréntesis balanceados

Ejercicio 3.

Escoja algunas G.I.C construidas en el ejercicio anterior y con algunas cadenas en sus
lenguajes haga derivaciones m.i y m.d.

1
 Verifique si algunas de sus G.I.C construidas en su ejercicio anterior son ambiguas.
Justifique.

Ejercicio 4. Considere la siguiente gramática:

S → aS
S → aSbS
S → 
¿La gramática es ambigua? Justifique.

Ejercicio 5. Ejercicio: ejecute el algoritmo CYK para las cadenas baaba, baab, aabab en la
siguiente GIC:
S → AB|BC
A → BA| a
B → CC| b
C → AB| a

Ejercicio 6. Ejercicio: ejecute el algoritmo CYK para las cadenas aabb, abbb, abab, aaaa, baabb
en la siguiente GIC:
S → AZ | BS | b | a
A → AZ | BS | b
Z → SB | b
A → a
B → b

Ejercicio 7. Considere el siguiente AP.

0,  → 0

,  → $
q1 q2 1,  → 1

,  → 

q4 q3 1, 1 → 
, $ → 

0, 0 → 

(a) Muestre el árbol de ejecución cuando el AP recibe la cadena 0110, , 110, 1111, 001, 0000, 1, 0, 101

(b) ¿Qué lenguaje acepta el AP?

2
Ejercicio 8. Demuestre, usando lema de bombeo, que los siguientes lenguajes no son in-
dependientes del contexto.

(a) {ww : w ∈ {0, 1}∗ }

(b) {0n 1n 0n 1n : n ≥ 0}

(c) {0n #02n #03n : n ≥ 0}