Tercer Taller - Autómatas de Pila y Máquinas de Turing

Curso de Gramáticas y Lenguajes Formales

UNIVERSIDAD TECNOLÓGICA DE PEREIRA

Facultad de Ingenierías: Eléctrica, Electrónica, Física y Ciencias de la Computación
Programa de Ingeniería de Sistemas y Computación
Profesor Hugo Humberto Morales Peña

Fecha de entrega del enunciado del taller a los estudiantes: Sábado 26 de Mayo de 2018.
Fecha de entrega del taller resuelto al profesor: Martes 5 de Junio de 2018, de 11:10 AM a 12:00
M en la sala de profesores de Ingeniería de Sistemas y Computación (Edificio 03 - Oficina 303).

Ejercicio para el equipo de trabajo de Juliana Pineda: 1.

Ejercicio para el equipo de trabajo de Jhon Mario Bedoya: 2.

Ejercicio para el equipo de trabajo de Gustavo Restrepo: 3.

Ejercicio para el equipo de trabajo de Sebastian Vargas: 4.

Ejercicio para el equipo de trabajo de Nikolay Sanchez: 1.

Ejercicio para el equipo de trabajo de Sebastián Franco Gómez: 2.

Ejercicio para el equipo de trabajo de Melissa Escobar: 3.

Ejercicio para el equipo de trabajo de Luis Fernando Martínez: 4.

NOTA 1: Los equipos de trabajo son de tres estudiantes.

NOTA 2: No se aceptan equipos de trabajo de un solo estudiante.

EJERCICIOS
1. Sea el Lenguaje Independiente del Contexto: L = {am (bc)m+n d2p f n | m, n, p ∈ N}, para el
cual se debe realizar el siguiente trabajo:

a) [30 puntos] Hacer un Autómata de Pila Determinístico (ADPD) utilizando la “técnica

de construcción del ADPD desde cero”, que reconozca únicamente palabras que pertenezcan
al lenguaje. Para el Autómata de Pila Determinístico definir cada uno de los elementos de la
7-tupla que la conforman. Tener en cuenta que δ es una función parcial.
b) [10 puntos] ¿La palabra “aabcbcbcbcbcddddff” es reconocida por el Autómata de Pila De-
terminístico?, hacer el seguimiento a la palabra sobre el Autómata de Pila Determinístico y
concluir.
c) [10 puntos] ¿La palabra “bcbcbcbcddddffff” es reconocida por el Autómata de Pila Determi-
nístico?, hacer el seguimiento a la palabra sobre el Autómata de Pila Determinístico y concluir.

1
 d ) [30 puntos] Hacer una Máquina de Turing que reconozca únicamente palabras que perte-
nezcan al lenguaje. Para la Máquina de Turing definir cada uno de los elementos de la 7-tupla
que la conforman.
e) [10 puntos] ¿La palabra “aabcbcbcbcbcddddff” es reconocida por la Máquina de Turing?,
hacer el seguimiento a la palabra sobre la Máquina de Turing y concluir.
f ) [10 puntos] ¿La palabra “bcbcbcbcddddffff” es reconocida por la Máquina de Turing?, hacer
el seguimiento a la palabra sobre la Máquina de Turing y concluir.

2. Sea el Lenguaje Independiente del Contexto: L = {a2m bm+2n (cd)p f n | m, n, p ∈ N}, para el
cual se debe realizar el siguiente trabajo:

a) [30 puntos] Hacer un Autómata de Pila Determinístico (ADPD) utilizando la “técnica

de construcción del ADPD desde cero”, que reconozca únicamente palabras que pertenezcan
al lenguaje. Para el Autómata de Pila Determinístico definir cada uno de los elementos de la
7-tupla que la conforman. Tener en cuenta que δ es una función parcial.
b) [10 puntos] ¿La palabra “aaaaaabbbbbbcdfff” es reconocida por el Autómata de Pila De-
terminístico?, hacer el seguimiento a la palabra sobre el Autómata de Pila Determinístico y
concluir.
c) [10 puntos] ¿La palabra “aaaabbbbcdcdf” es reconocida por el Autómata de Pila Determinís-
tico?, hacer el seguimiento a la palabra sobre el Autómata de Pila Determinístico y concluir.
d ) [30 puntos] Hacer una Máquina de Turing que reconozca únicamente palabras que perte-
nezcan al lenguaje. Para la Máquina de Turing definir cada uno de los elementos de la 7-tupla
que la conforman.
e) [10 puntos] ¿La palabra “aaaabbbbcdcdf” es reconocida por la Máquina de Turing?, hacer el
seguimiento a la palabra sobre la Máquina de Turing y concluir.
f ) [10 puntos] ¿La palabra “aaaaaabbbbbbcdfff” es reconocida por la Máquina de Turing?, hacer
el seguimiento a la palabra sobre la Máquina de Turing y concluir.

3. Sea el Lenguaje Independiente del Contexto: L = {a2m (bc)m+2n d3p f n | m, n, p ∈ N}, para
el cual se debe realizar el siguiente trabajo:

a) [30 puntos] Hacer un Autómata de Pila Determinístico (ADPD) utilizando la “técnica

de construcción del ADPD desde cero”, que reconozca únicamente palabras que pertenezcan
al lenguaje. Para el Autómata de Pila Determinístico definir cada uno de los elementos de la
7-tupla que la conforman. Tener en cuenta que δ es una función parcial.
b) [10 puntos] ¿La palabra “aaaaaabcbcbcbcddddf” es reconocida por el Autómata de Pila
Determinístico?, hacer el seguimiento a la palabra sobre el Autómata de Pila Determinístico
y concluir.
c) [10 puntos] ¿La palabra “aaaabcbcbcbcdddf” es reconocida por el Autómata de Pila De-
terminístico?, hacer el seguimiento a la palabra sobre el Autómata de Pila Determinístico y
concluir.
d ) [30 puntos] Hacer una Máquina de Turing que reconozca únicamente palabras que perte-
nezcan al lenguaje. Para la Máquina de Turing definir cada uno de los elementos de la 7-tupla
que la conforman.
e) [10 puntos] ¿La palabra “aaaabcbcbcbcdddf” es reconocida por la Máquina de Turing?, hacer
el seguimiento a la palabra sobre la Máquina de Turing y concluir.

2
 f ) [10 puntos] ¿La palabra “aaaaaabcbcbcbcddddf” es reconocida por la Máquina de Turing?,
hacer el seguimiento a la palabra sobre la Máquina de Turing y concluir.

4. Sea el Lenguaje Independiente del Contexto: L = {am bm+n (cd)p f 3n | m, n, p ∈ N}, para el
cual se debe realizar el siguiente trabajo:

a) [30 puntos] Hacer un Autómata de Pila Determinístico (ADPD) utilizando la “técnica

de construcción del ADPD desde cero”, que reconozca únicamente palabras que pertenezcan
al lenguaje. Para el Autómata de Pila Determinístico definir cada uno de los elementos de la
7-tupla que la conforman. Tener en cuenta que δ es una función parcial.
b) [10 puntos] ¿La palabra “aaabbbbbcdcdffffff” es reconocida por el Autómata de Pila De-
terminístico?, hacer el seguimiento a la palabra sobre el Autómata de Pila Determinístico y
concluir.
c) [10 puntos] ¿La palabra “aabbbbcdcdffffff” es reconocida por el Autómata de Pila Determi-
nístico?, hacer el seguimiento a la palabra sobre el Autómata de Pila Determinístico y concluir.
d ) [30 puntos] Hacer una Máquina de Turing que reconozca únicamente palabras que perte-
nezcan al lenguaje. Para la Máquina de Turing definir cada uno de los elementos de la 7-tupla
que la conforman.
e) [10 puntos] ¿La palabra “aaabbbbbcdcdffffff” es reconocida por la Máquina de Turing?, hacer
el seguimiento a la palabra sobre la Máquina de Turing y concluir.
f ) [10 puntos] ¿La palabra “aabbbbcdcdffffff” es reconocida por la Máquina de Turing?, hacer
el seguimiento a la palabra sobre la Máquina de Turing y concluir.