Apakah ada bahasa pemrograman Turing yang lengkap sehingga untuk alfabet tetap (katakanlah, ASCII), setiap permutasi yang mungkin dari karakter-karakter tersebut adalah program yang secara semantik sah yang dapat dieksekusi?
Kami menganggap loop tak terbatas juga valid secara semantik.
Saya tahu beberapa format data, seperti Markdown, memiliki validitas semantik universal (setiap input valid), tetapi saya tidak bisa lepas tangan memikirkan bahasa pemrograman dengan properti ini.