Comment Comment by blonde_ocean How do you mean sub-Turing languages don’t allow recursion? Aren’t context-free languages, for example, literally recursive? parent blonde_ocean 6 years ago