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,