3 ms·
> Certain control flow structures are inexpressible in goto-less C. I'm not sure about that. C contains while loops. And every GOTO-computable programs should
by irundebian 9y ago
> Certain control flow structures are inexpressible in goto-less C.
I'm not sure about that. C contains while loops. And every GOTO-computable programs should be expressible by WHILE-computable programs.
See (slide 21):
http://ai.cs.unibas.ch/_files/teaching/fs16/theo/slides/theory-d03.pdf http://ai.cs.unibas.ch/_files/teaching/fs16/theo/slides/theo...
- stormbrew 9y agoI don't think "certain control flow structures are inexpressible" is the same assertion as "certain programs are unexpressible"... After all, any turing complete system will have a similar set of computable programs as another, but they will not all have the same control structures. For example, you can have a turing complete language with no loops, only recursion. Both can express the same programs but not in the same way. That said, it's also a bit of a tautology so.