LasLa Maquinas'''máquina de Turing''' es un fueronmodelo introducidas[[ciencias de la computación|computacional]] introducido por [[Alan Turing]] en el trabajo [http://www.thocp.net/biographies/papers/turing_oncomputablenumbers_1936.pdf “''On computable numbers, with an application to the [[Entscheidungsproblem]]''”], 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, es decir, si hay un método definido que pueda aplicarse a cualquier sentencia matemática y que nos diga si esa sentencia es cierta o no. Turing ideó 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]].▼
'''máquina de Turing''' ('''MT''') es un modelo [[ciencias de la computación|computacional]] que realiza una [[lectura]]/[[escritura]] de manera automática sobre una [[entrada]] llamada cinta generando una [[salida]] en esta misma.
Este modelo está conformado por un [[alfabeto]] de entrada y uno de salida, un simbolo especial llamado blanco(normalmente "Δ" o "0"), un conjunto de [[estado (informática)|estados]] y un conjunto de transiciones entre dichos estados. Su funcionamiento se basa en una [[función de transición]], que recibe en un ''estado inicial'' y una [[cadena de caracteres]] pertenecientes al [[alfabeto]] de entrada (la cinta), luego va leyendo una celda de la cinta, borrar el símbolo, escribir el nuevo símbolo perteneciente al alfabeto de salida y finalmente avanzar a la izquierda o a la derecha(solo una celda a la vez) de la cinta, repitiendo esto hasta según se indique en la [[función de transición]], para finalmente detenerse en un ''estado final'' o ''de aceptación'', que representa la salida.
[[Archivo:Turing Machine.png|thumb|300px|Diagrama artístico de una máquina de [[Alan Turing|Turing]].]]
==Historia==
▲Las Maquinas de Turing fueron introducidas por [[Alan Turing]] en el trabajo [http://www.thocp.net/biographies/papers/turing_oncomputablenumbers_1936.pdf “''On computable numbers, with an application to the [[Entscheidungsproblem]]''”], 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, es decir, si hay un método definido que pueda aplicarse a cualquier sentencia matemática y que nos diga si esa sentencia es cierta o no. Turing ideó 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]].
