是否有可能构建一个图灵完备语言,其中每个字符串都是正确的程序？

Question

任何例子？更好的是,任何现实世界的例子？

精确度:"正确"我的意思是"编译",虽然"运行没有错误"和"运行没有错误,并在有限的时间内完成"也将是有趣的问题:)

字符串我指的是任何字节序列,尽管对一组字符的限制也可以.

Answer 1

是的(假设正确你的意思是编译,而不是有用的东西).进行brainfuck并将多个字母映射到八个命令.

编辑...哦,重新定义一个无与伦比的[或]打印"meh.onpicker"到屏幕.

请一位博士;)

Answer 2

这是用BNF表示的类C语言的编译器

<program> ::= <character> | <character> <program>

#!/bin/bash
# full_language.sh

gcc "$1"
if [ $? != 0 ]
then
    echo -e "#!/bin/bash\necho 'hi'" > a.out
    chmod +x a.out
fi

Answer 3

我们可以用任何图灵完整的语言来构建它.以C为例.如果输入是正确的C程序,那么就要做它想要的.否则,打印"Hello,world!".或者什么也不做.

这就是一个图灵完备的语言,每个字符串都是正确的程序.