Escuela de Ingenierı́a

Examen de: Teorı́a de la Computación Código de la materia: 3875

Fecha: 06/03/2017 Hoja 1 de 4
Duración: 3 hrs. SIN MATERIAL

1 Ejercicio (80 puntos)

Sean los siguientes lenguajes con alfabeto Σ = {a, b, c}:

• L1 = {an bp cq : n = max(p, q), p > 0, q > 0}

• L2 = {an bp cq : p = n + q}
• L3 = {an bp cq : p = q = n mod 3}

Uno de estos lenguajes es regular, otro libre de contexto y otro recursivo.

1. Para el lenguaje regular (20 puntos)

(a) Dé una expresión regular que lo denote.
(b) Construya un autómata finito que reconozca este lenguaje.

2. Para el lenguaje libre de contexto (30 puntos)

(a) Demuestre que no es regular.
(b) Construya un autómata de pila que lo reconozca.
(c) Construya una gramática libre de contexto que lo reconozca.

3. Para el lenguaje recusivo (15 puntos)

(a) Construya una máquina de Turing que reconozca este lenguaje.
4. Determine si se cumplen las siguientes afirmaciones, justificando debida-
mente cada respuesta (15 puntos):

(a) L2 ∩ L3 es un lenguaje libre de contexto.

(b) L(a∗ b∗ ) ∩ L2 es un lenguaje regular.
(c) L((aa)∗ b∗ (cc)∗ c) ∩ L3 es un lenguaje regular.

Solución:
1. L3 es el lenguaje regular
(a) (aaa)∗ (ε + abc + aabbcc)
(b)

q0 q2 b q5 b q6 c q7 c q8
start a
a
a

q1 b q3 c q4

2. L2 es un lenguaje libre de contexto.

1
 Escuela de Ingenierı́a
Examen de: Teorı́a de la Computación Código de la materia: 3875
Fecha: 06/03/2017 Hoja 2 de 4
Duración: 3 hrs. SIN MATERIAL

(a) Vemos que no es regular utilizando el contrarecı́proco del pumping

lemma para lenguajes regulares. Sea n ≥ 0 la constante de este lema,
tomando z = an bn (q = 0) tenemos una única descomposición en tres
partes, llamadas u, v, w y tales que |uv| ≤ n y v 6= ε, donde uv sólo
toma as. Para está única posible descomposición tomando i = 0 en
uv i w quitamos al menos una a dejando entonces de haber la misma
cantidad de as que de bs y como no hay cs en la tira z elegida deja
de pertenecer al lenguaje.
(b)
S → MN
M → aM b | ε
N → bN c | ε
(c)

b, A, ε
a, Z, AZ b, Z, BZ ε, B, ε
a, A, AA b, B, BB ε, Z, ε
ε, Z, Z ε, Z, Z
ε, A, A ε, B, B
start q0 q1 q3

3. El lenguaje L1 es recursivo, damos la máquina de Turing que lo decide.

(a)

Z, Z, R q4

b, b, R
Z, Z, R
Z, Z, R

a, a, R b, Y, R
q1 q2
Y, Y, R c, Z, L
c, Z, L
a, X, R

b,
b, L

start q0 q3
X, X, R

Y, Y, R a, a, L
b, b, L
Y, Y, L
q6 q5 Z, Z, L

b,
b, R

Y, Y, R
Z, Z, R

2
 Escuela de Ingenierı́a
Examen de: Teorı́a de la Computación Código de la materia: 3875
Fecha: 06/03/2017 Hoja 3 de 4
Duración: 3 hrs. SIN MATERIAL

4.
(a) Verdadero, por propiedad vista un lenguaje libre de contexto inter-
sección uno regular es libre de contexto.
(b) Falso, L(a∗ b∗ ) ∩ L1 = {an bn : n ≥ 0} que no es regular.
(c) Verdadero, por ser la intersección de dos lenguajes regulares y ser los
lenguajes regulares cerrados bajo la operación de intersección.

2 Ejercicio (20 puntos)

Sea L4 = {hM i1hN i1hwi : M (w) ↓ ∧N (wrev ) ↓}.

1. Determinar si es un lenguaje recursivo.

2. Determinar si es un lenguaje recursivamente enumerable.

Solución:
1. El lenguaje no es recursivo. Por absurdo suponemos lo es, con lo cual existe
una MT ML4 que lo decide. Podemos entonces construir la siguiente MT
MH que decide H.

yes
hM i1hwi hM i1hMp i1hwi
Mτ ML4
no

MH

O sea: MH (hM i1hwi) = ML4 (Mτ (hM i1hwi)).

Mτ introduce en el medio de la tira la codificación de la MT que siempre
para hMp i. O sea: Mτ (hM i1hwi) = hM i1hMp i1hwi. Dado que escribe
finitos sı́mbolos se detiente siempre.
Justifico ahora que MH decide efectivamente H:

(a) MH converge para toda entrada.

Esto se cumple por ser la composición de dos MTs que convergen para
toda entrada. Mτ ya justificamos que converge siempre, mientras que
ML4 converge siempre también por decidir un lenguaje.
(b) hM i1hwi ∈ H ⇔ MH (hM i1hwi) = yes .

MH (hM i1hwi) = yes ⇔ Definición de MH

ML4 (Mτ (hM i1hwi)) = yes ⇔ Definición de Mτ
ML4 (hM i1hMp i1hwi) = yes ⇔ Dado que ML4 decide L4
hM i1hMp i1hwi ∈ L4 ⇔ Definición de L4
M (w) ↓ ∧Mp (wrev ) ↓ ⇔ Mp para siempre ⇒ Mp (wrev ) ↓≡ T rue
M (w) ∧ T rue ↓ ⇔ p ∧ T rue ≡ p
M (w) ↓ ⇔ Definición de H
hM i1hwi ∈ H

3
 Escuela de Ingenierı́a
Examen de: Teorı́a de la Computación Código de la materia: 3875
Fecha: 06/03/2017 Hoja 4 de 4
Duración: 3 hrs. SIN MATERIAL

Verificamos que MH decide H, entonces H serı́a recursivo, pero sabemos

no lo es, por tanto llegamos a un absurdo, que fue suponer que L4 es
recursivo.
2. Sı́ es recursivamente enumerable. Lo mostramos construyendo una MT
que lo semidecide. Construimos una MUT modificada de ocho cintas,
tal que en las primeras cuatro corre M con entrada w, en las segundas
cuatro N con entrada wrev . Esta MUT modificada corre primero en las
primeras cuatro cintas y luego un paso en las segundas cuatro cintas, y
sólo para si ambas simulaciones paran. Con lo cual la única forma que
pare esta MUT modificada es que M con entrada w y N con entrada wrev
pare, cumpliéndose ası́ la condición del lenguaje. Justificamos entonces
que esta MUT modificada sólo para para tiras pertenecientes al lenguaje,
por tanto semidecide L4 , siendo entonces es recursivamente enumerable.