A máquina de Turing é um modelo abstrato criado para definir o que significa calcular. Sua versão universal mostrou que uma única máquina pode executar diferentes procedimentos — uma ideia fundamental para entender os computadores e, muito depois, a inteligência artificial.
