Está en la página 1de 2

Resumen

Este proyecto habla acerca de la mquina de Turing, es un dispositivo que


manipula smbolos sobre una tira de cinta de acuerdo a una tabla de reglas. A
pesar de su simplicidad, una mquina de Turing puede ser adaptada para simular
la lgica de cualquier algoritmo de computador y es particularmente til en la
explicacin de las funciones de una CPU dentro de un computador.
This project talks about the Turing machine, is a device that manipulates symbols
on a strip of tape according to a table of rules. Despite its simplicity, a Turing
machine can be adapted to simulate the logic of any computer algorithm and is
particularly useful in explaining the functions of a CPU within a computer.
Palabras clave
Mquinas de Turing
Simulador
Compilador
Transformador de cdigo
Editor de texto

Antecedentes
El 23 de junio de 1912 naca en Londres Alan Mathison Turing, un matemtico que
ha dejado una profunda huella en la historia de la computacin y la inteligencia
artificial.
Quiz la aportacin ms importante de Turing fue establecer un nexo entre la
algortmica (procedimientos de clculo) y los autmatas (dispositivos automticos).
En 1936, en un artculo titulado Sobre los nmeros computables con aplicacin al
problema de la decidibilidad, propona el dispositivo que se conoce como la
mquina de Turing. Inspirada en el modo de proceder de los calculistas humanos,
consista en una cinta infinita con casillas que podan registrar ceros y unos, y una
mquina de estados finitos (o cabezal) que poda avanzar o retroceder sobre la
cinta y leer dgitos o escribirlos
segn el estado en que se
encontrara. Inicialmente cada
mquina computaba una nica
funcin, pero Turing se dio cuenta de
que el programa para calcular una
funcin u otra se poda codificar en
la misma cinta que los datos de
entrada, lo que dio lugar a la
Mquina Universal de Turing,
modelo terico del computador
digital. Dicha Mquina Universal
poda emular cualquier mquina de Turing al recibir como entrada la codificacin
de una mquina particular al mismo tiempo que los datos. Al almacenar el
programa en el mismo formato que los datos, quedaban delimitados los papeles
que iban a desempear el hardware (de propsito general) y el software (tanto de
sistema como de aplicaciones) en la informtica actual.
Justificacin
La presente investigacin se enfoca en el estudio de la mquina de Turing y ver
cmo construye un entorno de programacin que permita construir, simular y
compilar programas de Mquinas de Turing. El sistema, adems, deber
proporcionar mecanismos para transformar cdigo sencillo en Pascal en su
correspondiente Mquina de Turing. Y tambin ver su composicin y
funcionamiento y la evolucin que est a tomado tras el paso del tiempo.

Planteamiento del problema


Realizar un estudio bibliogrfico sobre las MT y sus distintas variantes, para ver
cules pueden ser implementadas en un ordenador actual y cules no.
Desarrollar un simulador, al que se le indique dnde puede encontrar el texto que
describe una MT y sus cintas de entrada y simule visualmente la MT, permitiendo
la depuracin de la misma.
Desarrollar un programa al que dado un cdigo fuente sencillo en Pascal lo
transforme en su correspondiente cdigo de MT.