此篇文章承接上一篇：【編譯原理】理解BNF

---

前言

理解了BNF，就能實現代碼解析了嗎？還有點早，因為理解了BNF，還要會寫BNF。實際上，BNF實現有固定的模式，也有現成的工具，比如可以使用yacc、bison等工具自動化進行。所以把實現先放一放，看一看BNF是怎么寫的。

---

編寫BNF

上一篇文章中，我們介紹了如何編寫四則運算的BNF，我們需要遵循幾個原則：

• 優先級越高的產生式越接近終端節點；
• 有左遞歸要消除左遞歸。

是否所有的BNF都可以這么來寫呢？下面我們嘗試對其他語法的BNF進行編寫。

如C語言中枚舉類型的定義：

enum EnumName {A, B, C };

枚舉類型的定義語法，用語言描述出來是：

以一個enum開頭，后面可以跟一個標識符，也可以省略不寫。
接著是一個左大括號；
接著是枚舉值列表，枚舉值列表可以為空，不為空時，枚舉值之間用逗號隔開。
枚舉值可以只寫出標識符名稱，也可以給它賦值，如A和A=1都是正確的；
接著是一個右大括號和一個分號。

其BNF可以嘗試寫出來：

enum_decl=‘enum’ + option_identifier + ‘{’ + value_list + ‘};’
option_identifier=identifier | ‘’
value_list=’’ | value_list + ‘,’ + indentifier | value_list + ‘,’ + indentifier + ‘=’ + Num

寫到最后的value_list會發現，不管怎么寫都會多出一個逗號。
因為BNF里面的控制命令太少了，想要表達出我們想要表達的規則，我們得求助于EBNF。

---

EBNF介紹

下面是EBNF的介紹：

EBNF，E即Extended，EBNF即擴展BNF范式。
它最初由尼古拉斯·沃斯開發，最常用的 EBNF 變體由標準，特別是 ISO-14977 所定義。 ——來自維基百科
更詳細的介紹可以參考維基百科： 擴展巴科斯范式（可能需要翻墻）
ISO-14977標準文檔獲取方法，參考文章：去哪查閱ISO國際標準？

下圖列舉了EBNF包含的符號：

可見EBNF中包含了更多的控制命令。相對于BNF來說，它的描述能力更為強大。

---

重寫

我們現在使用EBNF重寫上面的枚舉聲明語法。

enum_decl = 'enum'[id]'{'[id'='num]{','id'='num}'}';

可見上面用一個EBNF語句即描述BNF很多條語句才能描述的內容。
以此類推，可以自己嘗試編寫。

---

歡迎專注【編譯原理】專欄！

總結

以上是生活随笔為你收集整理的【编译原理】如何编写BNF？的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。