Question

A Relação de equivalência forte de programas define que um par de programas pertence à relação se as correspondentes funções computadas coincidem para qualquer máquina.

No contexto da equivalência forte, assinale a alternativa correta.

Escolha uma:
a.
Para qualquer programa recursivo, existe um programa monolítico equivalente;

b.
Para qualquer programa monolítico, existe um programa iterativo equivalente;

c.
Para qualquer programa recursivo, existe um programa iterativo equivalente;

d.
Para qualquer programa monolítico, existe um programa recursivo equivalente;

e.
Nenhuma das alternativas anteriores está correta.

Answer 1

Resposta:

Para qualquer programa monolítico, existe um programa recursivo equivalente

Explicação:

Corrigido pelo AVA

Answer 2

Resposta:

Para todo monolítico, existe um recursivo fortemente equivalente

Explicação:

Corrigido pelo Ava