大致過(guò)程如下

C語(yǔ)言

先創(chuàng)造一個(gè)只有C語(yǔ)言最基本功能的子集，記作C0語(yǔ)言，C0語(yǔ)言已經(jīng)足夠簡(jiǎn)單了，可以直接用匯編語(yǔ)言編寫(xiě)出C0的編譯器。

依靠C0已有的功能，設(shè)計(jì)比C0復(fù)雜，但仍然不完整的C語(yǔ)言的又一個(gè)子集C1語(yǔ)言，其中C0屬于C1，C1屬于C，用C0開(kāi)發(fā)出C1語(yǔ)言的編譯器。

在C1的基礎(chǔ)上設(shè)計(jì)C語(yǔ)言的又一個(gè)子集C2語(yǔ)言，C2語(yǔ)言比C1復(fù)雜，但是仍然不是完整的C語(yǔ)言，開(kāi)發(fā)出C2語(yǔ)言的編譯器……如此直到CN，CN已經(jīng)足夠強(qiáng)大了，這時(shí)候就足夠開(kāi)發(fā)出完整的C語(yǔ)言編譯器的實(shí)現(xiàn)了。

至于這里的N是多少，這取決于你的目標(biāo)語(yǔ)言(這里是C語(yǔ)言)的復(fù)雜程度和程序員的編程能力。

那么這種大膽的子集簡(jiǎn)化的方法，又有什么理論依據(jù)呢？

先介紹一個(gè)概念，“自編譯”Self-Compile。

對(duì)于某些具有明顯自舉(不知道哪個(gè)鬼才起的名字)性質(zhì)的強(qiáng)類(lèi)型編程語(yǔ)言

可以借助它們的一個(gè)有限小子集

通過(guò)有限次數(shù)的遞推來(lái)實(shí)現(xiàn)對(duì)它們自身的表述

(所謂強(qiáng)類(lèi)型就是程序中的每個(gè)變量必須聲明類(lèi)型后才能使用，比如C語(yǔ)言，相反有些腳本語(yǔ)言則根本沒(méi)有類(lèi)型這一說(shuō)法,比如python。)

滿足自編譯這樣的語(yǔ)言有C、Pascal、Ada等等，至于為什么可以自編譯，可以參見(jiàn)清華大學(xué)出版社的《編譯原理》，書(shū)中實(shí)現(xiàn)了一個(gè)Pascal的子集的編譯器。

總之，已經(jīng)有計(jì)算機(jī)科學(xué)家證明了，C語(yǔ)言理論上是可以通過(guò)上面的方法實(shí)現(xiàn)完整的編譯器的。

特別聲明：以上內(nèi)容(如有圖片或視頻亦包括在內(nèi))為自媒體平臺(tái)“網(wǎng)易號(hào)”用戶上傳并發(fā)布，本平臺(tái)僅提供信息存儲(chǔ)服務(wù)。

總結(jié)

以上是生活随笔為你收集整理的用c语言可以写一个编译器吗,为什么C语言编译器能用C语言编写？的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。