基于超文法的擴(kuò)展文法轉(zhuǎn)換技術(shù)
2006-04-29 00:44:03郭德貴劉磊吳萬(wàn)春王勝軍
吉林大學(xué)學(xué)報(bào)(理學(xué)版) 2006年1期
郭德貴 劉 磊 吳萬(wàn)春 王勝軍
摘要：針對(duì)帶有優(yōu)先級(jí)的擴(kuò)展巴克斯范式(EBNF)，普通的語(yǔ)法分析技術(shù)很難適用于該文法的問題，給出了擴(kuò)展文法的形式定義，提出一種基于超文法的EBNF到巴克斯范式(BNF)的轉(zhuǎn)換算法，并給出轉(zhuǎn)換的正確性證明，該算法在ATLAS語(yǔ)言編譯器的開發(fā)中得到了實(shí)際應(yīng)用和驗(yàn)證。
關(guān)鍵詞：巴克斯范式；擴(kuò)展巴克斯范式；擴(kuò)展文法；文法轉(zhuǎn)換；超文法
中圖分類號(hào)：TP301
文獻(xiàn)標(biāo)識(shí)碼：A
文章編號(hào)：1671—5489(2006)01-0073-05
