Questão número 299600

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.