No, it would only need to be primitive recursive [0] because you can bound its runtime. There's actually a lot you can do without Turing completeness. [0]: htt

No, it would only need to be primitive recursive [0] because you can bound its runtime. There's actually a lot you can do without Turing completeness. [0]: https://en.wikipedia.org/wiki/Primitive_recursive_function#Computer_language_definition https://en.wikipedia.org/wiki/Primitive_recursive_function#C...