La máquina de Turing es un modelo computacional introducido por Alan Turing, publicado por la Sociedad Matemática de Londres en 1936, en el cual se estudiaba la cuestión planteada por David Hilbert sobre si las matemáticas son decidibles, Turing construyó un modelo formal de computador, la máquina de Turing, y demostró que existían problemas que una máquina no podía resolver. La máquina de Turing es un modelo matemático abstracto que formaliza el concepto de algoritmo.
•Consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal lee el contenido, borra el contenido anterior y escribe un nuevo valor. Las operaciones que se pueden realizar en esta máquina se limitan a:
•avanzar el cabezal lector/escritor hacia la derecha.
•avanzar el cabezal lector/escritor hacia la izquierda.
•El cómputo es determinado a partir de una tabla de estados de la forma:
•(estado, valor) (nuevo estado, nuevo valor, dirección)
No hay comentarios:
Publicar un comentario