图灵完整语言中最小的编译器可能吗？

Question

Brainfuck以其极小的编译器而闻名.我有一个非常小的设备,可能无法适应其数据中最小的脑圈编译器.是否有一种深奥的编程语言甚至比brainfuck更小的编译器并且是一种图灵完整的语言？ 这已经老了,但是请随时提出自己的答案,我会检查

Answer 1

我查看了Brainfuck编译器的大小(大约240字节的原始形式),我怀疑你会变得比这更小,它的目的是产生尽可能小的编译器(诚然多年前).

虽然来自维基百科:

除了它的两个I/O命令之外,brainfuck是CorradoBöhm在1964年创建的正式编程语言P''的一个小变体.实际上,使用相当于各自的brainfuck命令的六个符号+, - ,<,>,[ ,],Böhm为每个基本函数提供了一个显式程序,它们共同用于计算任何可计算函数.因此,从一个非常真实的意义上说,第一个"脑筋斗篷"节目出现在伯格1964年的论文中 - 它们是足以证明图灵完整性的程序.

从P''页面:

P''是第一个被证明图灵完备的"无GOTO"命令式结构化编程语言.

因此,P''的编译器,或者相当于改进版的brainfuck,会更小并且仍然完整.

但是,如果我不遵循问题的精神,那么设备本机指令集将是图灵完成的.汇编程序可能太大但您可以直接将操作码值写入可执行文件或"编译"为可执行文件的文本文件中.那个'编译器'可能会更小.虽然它不是任何真正意义上的编译器,因此不遵循问题的精神.

这是一个现实世界的问题吗？如果你没有编译空间,你的源和二进制文件将去哪里？

相关问题:什么是可以编译自身的*概念*最小*编译器*？