是否有可能构建一个图灵完备语言,其中每个字符串都是正确的程序?
任何例子?更好的是,任何现实世界的例子?
精确度:"正确"我的意思是"编译",虽然"运行没有错误"和"运行没有错误,并在有限的时间内完成"也将是有趣的问题:)
字符串我指的是任何字节序列,尽管对一组字符的限制也可以.
是的(假设正确你的意思是编译,而不是有用的东西).进行brainfuck并将多个字母映射到八个命令.
编辑...哦,重新定义一个无与伦比的[或]打印"meh.onpicker"到屏幕.
请一位博士;)
这是用BNF表示的类C语言的编译器
::= |
#!/bin/bash # full_language.sh gcc "$1" if [ $? != 0 ] then echo -e "#!/bin/bash\necho 'hi'" > a.out chmod +x a.out fi
我们可以用任何图灵完整的语言来构建它.以C为例.如果输入是正确的C程序,那么就要做它想要的.否则,打印"Hello,world!".或者什么也不做.
这就是一个图灵完备的语言,每个字符串都是正确的程序.