La máquina de Turing es un modelo computacional introducido por Alan Turing en el trabajo "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 el tema de las matemáticas decidibles, es decir, si existe un método definido que pueda aplicarse a cualquier sentencia matemática y que nos diga si la sentencia es verdadera o falsa. 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.
