For example, the Ackermann function, which is not primitive recursive, nevertheless is a total computable function computable by a term rewriting system with a reduction ordering on its arguments (Ohlebusch, 2002, pp. 67).
Na primjer, Ackermannova funkcija, koja nije primitivno rekurzivna, je svejedno totalno izračunljiva funkcija izračunljiva koristeći tzv. sustav prepisivanja terma sa dobro uređenim argumentima (Ohlebusch, 2002, pp.67).