SóProvas


ID
104938
Banca
FCC
Órgão
TRE-AM
Ano
2010
Provas
Disciplina
Noções de Informática
Assuntos

A Relação Equivalência Forte de Programas (EFP) define que um par de programas pertence à relação se as correspondentes funções computadas coincidem para

Alternativas
Comentários
  • A Relação Equivalência Forte de Programas (EFP) define que um par de programas pertence à relação se as correspondentes funções computadas coincidem para qualquer máquina.
  • Equivalência de Programas e Máquinas
    • Relação Equivalência Forte de Programas: Um par de programas pertence à relação se as correspondentes funções computadas coincidem para qualquer máquina; Ela é especialmente importante pois, ao agrupar diferentes programas em classes de equivalência de programas cujas funções coincidem, fornece subsídios para analisar propriedades de programas como complexidade estrutural.
    • Relação Equivalência de Programas em uma Máquina: Um par de programas pertence à relação se as correspondentes funções computadas coincidem para uma dada máquina;
    • Relação Equivalência de Máquinas: Um par de máquina pertence à relação se as máquinas podem se simular mutuamente. A simulação de uma máquina por outra pode ser feita usando programas diferentes.