máquina de Turing

Turing machine (abstract machine designed to give a mathematically precise definition of computability)