Imagem de fundo

Formalização de algoritmo proposto em 1936, universalmente conhecido e aceito. Trata-se...

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


A

Recursividade de Bird.


B

Máquina de Redução.


C

Máquina de Turing.


D

Sistema de Post.


E

Máquina com Pilhas.