Dois algoritmos que sejam diferentes em estrutura, mas idênticos em comportamento, porque produzem os mesmos resultados em todos os casos possíveis, são denominados