Turmas - 1º Semestre de 2026
Turmas
1º Semestre de 2026

1. Ybadoo
2. Turmas
3. 1º Semestre de 2026
4. Teoria da Computação
5. Primeira Avaliação
6. Questão 06

Questão 06

Funções computadas permitem introduzir algumas importantes relações de equivalência de programas e máquinas, em especial, a relação de equivalência forte de programas, na qual um par de programas pertence à relação se as correspondentes funções computadas coincidem para qualquer máquina. As funções computadas por programas fortemente equivalentes têm a propriedade de que os mesmos testes e as mesmas operações são efetuados na mesma ordem, independentemente do significado deles. Apresente o programa monolítico, utilizando fluxogramas, que seja fortemente equivalente ao programa recursivo apresentado a seguir.

função R()
  A;
 se T
   então S();
   senão B;
 fim se;
fim função;

função S()
 se U
   então C;
   senão R();
 fim se;
fim função;

função principal()
  X;
  S();
fim função;

Solução da Questão 06