Tarea individual #1 - Teoría de Lenguajes de Programación 02-2018

Parte 1. Autómata de pila y lenguajes

Los lenguajes regulares son detonados por una expresión regular, los cuales también pueden ser
aceptados por un automata finito, se dice que dada una expresión regular er, es posible construir un
automáta finito no determinístico con movimientos vacíos, M, tal que L(er)=L(M).

Por otro lado, existen lenguajes más complejos que los regulares, tal es el caso de L={anbn, n>0}, para el
cual ya se ha demostrado que no existe expresión regular que lo denote, pero sí existe un algoritmo, con
el cual es posible decir si un palabra pertenece o no a L, es decir, por definición L es un lenguaje recursivo.

Los lenguajes recursivos pueden ser reconocidos por un computador, dado que, responden a un
algoritmo. Pero existe otra máquina, cuya capacidad de computo se encuentra arriba de los automatas
finitos y debajo de las máquinas capaces de reconocer lenguajes naturales; hablamos del pushdown
autómata (autómata de pila). Investigue sobre estos automatas, y concluya si se puede relacionar un tipo
de lenguaje de la jerarquia chowsky, con los aceptados por un pushdown automata.

¿Puede un autómata de pila reconocer a L={anbn, n>0}? y si le agregamos una letra?, es decir, palabras
con n cantidad de a´s, seguidas de la misma cantidad de b´s, seguidas de la misma cantidad de c´s
L={anbncn , n>0}

Parte 2. Máquina de Turing

Una Máquina de Turing es el modelo del funcionamiento del computador (fundamento del computo), es
decir, un modelo matemático consistente en un autómata que es capaz de implementar cualquier
problema matemático expresado a través de un algoritmo.

Investigue respectos la definición matemática de las máquinas de Turing, entienda su funcionamiento y

responda las siguientes preguntas:

¿Hay un único modelo para la máquina de Turing?

¿Es la máquina de Turing más potente que los autómatas finitos y que los push down autómatas? ¿por
qué?

¿Pueden las máquinas de Turing reconocer a los lenguajes recursivamente numerable? Justifque

Parte 3. Máquina universal de Turing

Una máquina universal de Turing (UTM) es otra máquina de Turing que puede simular el funcionamiento
de cualquier otra máquina de Turing, se dice que la máquina universal de Turing es el modelo del
computador. Investigue respecto a la máquina universal de Turing. Busque un programa en Internet para
la UTM utilizando los binarios, luego simule el comportamiento de varias máquinas de turing sobre este
software.

¿Cuál es la diferencia entre la UTM y una máquina de Turing?, ¿hay diferencia? ¿puede la UTM
hacer todo lo que se puede hacer sobre un computador?