New answers tagged

5 votes

Are Primitive recursive functions (with bounded $\mu$ operator) equivalent to other known computational model?

LOOP is a simple programming language which exactly captures primitive recursive functions. Primitive recursive functions also have other characterizations. For example, they are the functions which ...
Yuval Filmus's user avatar

Top 50 recent answers are included