sudan

In the theory of computation, the Sudan function is an example of a function that is recursive, but not primitive recursive