Formalização de algoritmo proposto em 1936, universalmente conhecido e aceito. Trata-se de um mecanismo simples, que formaliza a ideia de uma pessoa que realiza cálculos, denominado
Recursividade de Bird.
Máquina de Redução.
Máquina de Turing.
Sistema de Post.
Máquina com Pilhas.
