equivalência funcional recursiva primitiva
Dadas duas funções recursivas primitivas, é decidível se elas são ou não a mesma função? Por exemplo, vamos considerar os algoritmos de classificação A e B, que são recursivos primitivos. Embora existam muitos algoritmos para classificação, todos descrevem a mesma relação. Dadas duas implementações...