概述
分析程式生成器(parser generator)是一個指定某個格式中的一種語言的語法作為它的輸入,並為該種語言產生分析過程以作為它的輸出的程式。在歷史上,分析程式生成器被稱作編譯-編譯程式( compiler- compiler ),這是由於按照規律可將所有的編譯步驟作為包含在分析程式中的動作來執行。現在的觀點是將分析程式僅考慮為編譯處理的一個部分,所以這個術語也就有些過時了。合併 LALR(1) 分析算法是一種常用的分析生成器,它被稱作 Yacc( yet another compiler- compiler )。給出 Yacc 的概貌來,將使用Yacc為 TINY 語言開發一個分析程式。
作為 Yacc 對說明檔案中的 %token NUMBER 聲明的對應。Yacc 堅持定義所有的符號記號本身,而不是從別的地方引入一個定義。但是卻有可能通過在記號聲明中的記號名之後書寫一個值來指定將賦給記號的數字值。
yacc的輸入是巴科斯範式(BNF)表達的語法規則以及語法規約的處理代碼,Yacc輸出的是基於表驅動的編譯器,包含輸入的語法規約的處理代碼部分。
yacc是開發編譯器的一個有用的工具,採用LALR(1)語法分析方法。
Yacc最初由AT&T的Steven C. Johnson為Unix作業系統開發,後來一些兼容的程式如Berkeley Yacc,GNU bison,MKS yacc和Abraxas yacc陸續出現。它們都在原先基礎上做了少許改進或者增加,但是基本概念是相同的。
由於所產生的解析器需要詞法分析器配合,因此Yacc經常和詞法分析器的產生器——一般就是Lex——聯合使用。IEEE POSIX P1003.2 標準定義了Lex和Yacc的功能和需求。
附
http://dickey.his.com/byacc/byacc.html Berkeley Yacc 一般認為是目前最好的yacc變種。與bison相比,避免了對特定編譯器的依賴。
http://www.informatik.uni-freiburg.de/proglang/software/essence/ Essence,Scheme的LR(1)語法解析器的生成器
http://download.plt-scheme.org/scheme/plt/collects/parser-tools/ 用於DrScheme的語法解析工具
http://www.ssw.uni-linz.ac.at/Research/Projects/Coco/ Coco/R Java和C#的掃描和解析器
http://mhss.nease.net/unix/yacc.html Yacc: 另一個編譯器的編譯器,Stephen C. Johnson