A
máquina de Turing é um dispositivo teórico conhecido como
máquina universal, que foi concebido pelo matemático britânico
Alan Turing (
1912-
1954), muitos anos antes de existirem os modernos computadores digitais (o artigo de referência foi publicado em
1936). Num sentido preciso, é um modelo abstrato de um
computador, que se restringe apenas aos aspectos lógicos do seu funcionamento (memória, estados e transições) e não à sua implementação física. Numa máquina de Turing pode-se modelar qualquer computador digital.
Turing também se envolveu na construção de máquinas físicas para quebrar os códigos secretos das comunicações alemãs durante a
Segunda Guerra Mundial, tendo utilizado alguns dos conceitos teóricos desenvolvidos para o seu modelo de
computador universal.