Is it possible to construct a turing-complete language in which every string is a correct program?
Any examples? Even better, any real-world examples?
Precisions: by “correct” I mean “compiles”, although “runs without error” and “runs without error, and finishes in finite time” would be interesting questions too 🙂
By string I mean any sequence of bytes, although a restriction to a set of characters will do.
We can build this up out of any turing-complete language. Take C, for example. If input is a correct C program, than do what it intended to. Otherwise, print “Hello, world!”. Or just do nothing.
That makes a turing-complete language where every string is a correct program.