Có tồn tại một ngôn ngữ lập trình hoàn chỉnh Turing sao cho một bảng chữ cái cố định (giả sử ASCII), mọi hoán vị có thể có của các ký tự đó là một chương trình hợp lệ về mặt ngữ nghĩa có khả năng được thực thi?
Chúng tôi coi các vòng lặp vô hạn cũng có giá trị về mặt ngữ nghĩa.
Tôi biết một số định dạng dữ liệu, chẳng hạn như Markdown, có hiệu lực ngữ nghĩa phổ quát (mọi đầu vào đều hợp lệ), nhưng tôi không thể nghĩ ra một ngôn ngữ lập trình với thuộc tính này.