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

Considere a hierarquia de classes de programas induzida pela Relação Equivalência Forte de Programas a qual mostra os programas do âmbito mais geral ? retângulo mais externo para o menos geral ? retângulo mais interno.


Os tipos de programas I, II e III representados na figura são, respectivamente,