Comment by mikeash

What kind of input language would be both useful for general computation and not Turing-complete?