Introducción a la Teorı́a de la Computación

Tarea 1
Angela Marı́a Cárdenas Orjuela,
David Julian Bustos Cortes,
Gabriela Marı́a Garcı́a Romero
Junio 2021

Problema 1. Encontrar GIC que genere los siguientes lenguajes:

(a) L = {ai bj : i = j o i = 2j, i, j ≥ 0}, sobre Σ = {a, b}.

Se define la gramática G = {V, Σ, S, P } en donde: V = {S, X, Y }, Σ = {a, b}

S → X | Y


G : X → aXb | λ

Y → aaYb | λ


(b) L = {ai bj cj di : i, j ≥ 1}, sobre Σ = {a, b, c, d}.

Se define la gramática G = {V, Σ, S, P } en donde: V = {S, X}, Σ = {a, b, c, d}
(
S → aSd | abXcd
G:
X → bXc | λ

(c) L = {w ∈ Σ∗ : |w|a = 2|w|b }, sobre Σ = {a, b}.

Se define la gramática G = {V, Σ, S, P } en donde: V = {S}, Σ = {a, b}
n
G : S → aabS | aaSb | aSab | Saab | abaS | abSa | aSba | Saba | baaS | baSa | bSaa | Sbaa | λ

(d) L = {am bn ck : k = |m − n|, m, n, k ≥ 0}, sobre Σ = {a, b, c}.

Se define la gramática G = {V, Σ, S, P } en donde: V = {S, W, X, Y, Z}, Σ = {a, b, c}



 S → aWb | aX | WZ | λ

W → aWb | λ



G : X → aXc | aYc

Y → aYb | b






Z → bZc | λ

(e) L = {am wwR bm : m ≥ 1, w ∈ {a, b}∗ }, sobre Σ = {a, b}.

Se define la gramática G = {V, Σ, S, P } en donde: V = {S, X}, Σ = {a, b}
(
S → aSb | aXb
G:
X → aXa | bXb | λ

1
 (f) L = {am b2n cn d2m : m, n ≥ 1}.

Se define la gramática G = {V, Σ, S, P } en donde: V = {S, X}, Σ = {a, b, c, d}

(
S → aSdd | abbXcdd
G:
X → bbXc | λ

Problema 2. Encontrar gramáticas regulares que generen los siguientes lenguajes sobre el alfabeto
Σ = {a, b}:

(1) ba∗ b ∪ b+ .
Se define el autómata µ:

b a b
S A B C

D b

Con base en µ, se define la gramática G = {V, Σ, S, P } en donde: V = {S, A, B, C, D},

Σ = {a, b}:




S → bA

A → aB | bD | λ



G : B → aB | bC

C→λ






D → bD | λ

(4) El lenguaje de todas las cadenas que tienen un número impar de aes y un número par de bes
Se define el autómata µ:

A
a b

a b

S C

b a

b a
B

Con base en µ, se define la gramática G = {V, Σ, S, P } en donde: V = {S, A, B, C}, Σ = {a, b}

2
 

S → aA| bB


A → aS | bC| λ
G:


B → aC | bS

C → aB | bA


Problema 3. Ejercicio 1 y 3 de la Sección 4.4.

(1) Sea G siguiente gramática:


S → aS | AaB


G 7→ A → aA | a

B → bBbB | b


Encontrar una derivación de la cadena aaaabbbb y hallar el árbol de tal derivación.

Para hallar la derivación comenzamos por el simbolo inicial S aplicando las producciones
dadas por la gramatica G en derivaciones concretas:

S =⇒ AaB =⇒ aAaB =⇒ aaAaB =⇒ aaaaB =⇒ aaaabBbB =⇒ aaaabbbB =⇒ aaaabbbb

A partir de esta derivación se construye el árbol sintactico correspondiente:

(3) Encontrar la única derivación a izquierda determinada por el siguiente árbol sintáctico pro-
veniente de cierta gramática G con alfabeto de variables V = {S, A, B, C} y alfabeto de
terminales Σ = {a, b, c}.

3
Para hallar la derivación izquierda recorremos el arbol empezando por la raiz S aplicando las
producciones dadas por este de izquierda a derecha:

S =⇒ ASA =⇒ SA =⇒ bBaA =⇒ baA =⇒ baAA =⇒ baACA =⇒ baaCA =⇒ baacA =⇒ baaca

Ası́ las hojas del arbol sintactico forman la cadena generada: baaca.