是的，你可以用一种语言编写编译器。不，你不需要第一个编译器来引导该语言。

您需要引导的是该语言的实现。它可以是编译器，也可以是解释器。

历史上，语言通常被认为是解释语言或编译语言。解释器只为前者编写，编译器只为后者编写。所以通常，如果要为一种语言编写编译器，第一个编译器会用其他语言编写以引导它，然后，可选地，编译器会为主题语言重新编写。但是用另一种语言编写解释器也是一种选择。

这不仅仅是理论上的。我自己也在做这件事。我正在为自己开发的语言Salmon编写编译器。我首先用C创建了一个Salmon编译器，现在我正在用Salmon编写编译器，所以我可以让Salmon编译器工作，而不需要用任何其他语言为Salmon编写编译器。

这就是所谓的“自我引导”。你必须首先用其他语言(通常是Java或C)为你的语言构建一个编译器(或解释器)。一旦完成了这一步，你就可以用语言Foo编写一个新版本的编译器。您使用第一个引导编译器来编译编译器，然后使用这个编译器来编译其他所有内容(包括自身的未来版本)。

大多数语言确实是以这种方式创建的，部分原因是语言设计者喜欢使用他们正在创建的语言，也因为非平凡的编译器通常可以作为语言“完整”程度的有用基准。

Scala就是一个例子。它的第一个编译器是用Martin Odersky的实验语言Pizza创建的。从2.0版开始，编译器完全用Scala重新编写。从那时起，旧的Pizza编译器可以完全被丢弃，因为新的Scala编译器可以用于将来的迭代中编译自己。

也许你可以用BNF来描述BNF。

你不能自己编写编译器，因为你没有任何东西来编译你的初始源代码。有两种方法可以解决这个问题。

最不受欢迎的是下面这些。你用汇编器(恶心)为语言的最小集合写一个最小的编译器，然后用那个编译器来实现语言的额外功能。逐步构建，直到拥有一个具有所有语言特性的编译器。这是一个痛苦的过程，通常只有在你别无选择的时候才会做。

首选的方法是使用交叉编译器。您可以在不同的机器上更改现有编译器的后端，以创建在目标机器上运行的输出。然后你就有了一个完美的完整编译器，并在目标机器上运行。这方面最流行的是C语言，因为现有的很多编译器都有可插拔的后端，可以进行交换。

一个鲜为人知的事实是，GNU c++编译器有一个只使用C子集的实现。原因是，通常很容易为新的目标机器找到一个C编译器，然后允许您从它构建完整的GNU c++编译器。现在，您已经在目标计算机上安装了c++编译器。

Mono项目的c#编译器已经“自托管”很长一段时间了，这意味着它是用c#本身编写的。

据我所知，编译器最初是纯C代码，但一旦实现了ECMA的“基本”特性，他们就开始用c#重写编译器。

我不知道用同一种语言编写编译器有什么好处，但我确信它至少与语言本身可以提供的特性有关(例如，C不支持面向对象编程)。

你可以在这里找到更多信息。

请注意，从技术上讲，您可以用一种仍然不存在的语言编写编译器。为了做到这一点，你创建了一个解释器，它是原始语言的一个下级，通常是缓慢和无用的，因为它在执行任何东西之前解释语言的每个语句。

如果你阅读它，它看起来确实完全像预期的语言，但它的执行要经过一些过程，将其转换为可执行的不止一个步骤。

这个编译器通常非常慢，因为它使用了一些适用于几乎所有现有语言的通用数学过程，但优点是下次除了在现有代码上使用生成的编译器外，什么也不用做。

当然这一次不需要解释。