compiler-construction - 可以自行编译的*概念上*最小的*编译器*是什么？

Question

本着this question的精神，我想问一个类似的问题，但关于编译器，而不是关于解释器。

可以编译自己的代码的概念上最小的编译器是什么？

当我说“概念上最小的”时，我的意思是它只使用非常基本的概念并从那里构建，而不是包含非常短的代码。为什么这是一个重要区别的一个例子是 OTCC一个非常小的 C 编译器，它很小，因为它被混淆了，不一定是因为它在概念上很简单(它也可能在概念上很简单，但我不知道；它被混淆了)。

我还想补充一点，以下也可能是一个概念上非常小的程序，但它实际上并没有告诉我们正在发生的事情，所以它也不是我真正要寻找的:

(writefile argv[2] (generate (parse (readfile argv[1]))))

我真正在寻找的是一种语言，它是:

图灵完备。

能够自行编译。

我对此感兴趣，因为

这将是一个有趣的案例研究和

它可以作为引导编译器的起点。

如果它不存在，我可能只是自己写。 :)

Answer 1

我不太清楚你所说的“概念上最小”是什么意思。想必你对minimal Turing machines不感兴趣或在 Lambda calculus 中的陈述?如果您在谈论物理编译器实现，那么您实际上是在谈论生成机器代码指令的编译器。 TCC ，正如安东尼米尔斯的评论所提到的，是相关的。另一个应该有实际应用的有趣讨论是这个详细的 description of a bootstrapping compiler written from scratch .

有一个 interesting discussion不久前在 comp.compilers 新闻组中值得一看。