The computation terminates only if the final term gives the value of the recursive function applied to the inputs.
Računanje terminira samo ako konačni termin daje vrijednost rekurzivne funkcije primjenjene na ulaze.