Definições: máquinas (abstrata, computador)

• Uma máquina é qualquer equipamento que efetua operacões ou tarefas de forma pré-definida (de acordo com a maneira que ela foi projetada)

• Uma máquina abstrata é uma máquina sem existência física que pode executar tarefas pré-definidas, dentro de um conjunto de regras gramaticais formais (por exemplo, sem ambiguidades)