基于Petri網(wǎng)建模的詞法掃描器和語法分析器設計.pdf

1、論文將Petri網(wǎng)應用到編譯技術中,研究了如何利用Petri網(wǎng)進行詞法分析和語法分析.論文主要解決了五個問題:研究Petri網(wǎng)語言與經典文法體系的關系,證明了Petri網(wǎng)語言的表達能力強于正規(guī)文法;提出為正規(guī)文法建模的方法,并設計了基于這種模型的詞法掃描器;利用Petri網(wǎng)為LR文法的語法分析過程建模,并設計這種模型下的語法分析器;系統(tǒng)的提出Petri網(wǎng)建模分析工具的一般方法;分析并設計了利用Petri網(wǎng)進行詞法分析和語法分析的軟件開發(fā)

2、步驟,并開發(fā)出四套軟件,為Petri網(wǎng)在編譯技術中的應用創(chuàng)造了軟件環(huán)境.為了研究Petri網(wǎng)語言的表達能力,引入了矢量文法體系,系統(tǒng)地研究了矢量文法的性質和分類等.證明了Petri網(wǎng)語言表達能力的三個重要關系.這三個關系分別是:Petri網(wǎng)語言是上下文有關文法的一個真子集;Petri網(wǎng)語言與上下文無關文法相交但互不包含;Petri網(wǎng)語言的表達能力真超于正規(guī)語言.這三個關系是文法的Petri網(wǎng)建模的基礎理論,同時準確地定位了Petri網(wǎng)語

3、言的表達能力.論文設計了四套軟件,一是為了驗證兩個模型的分析能力,一是作為畢業(yè)論文的最后一部分,初步設計一個編譯器.這四個軟件分別是:Petri網(wǎng)建模和繪畫工具(PETRI_PAIN)、右線性文法的Petri網(wǎng)建模工具(PNRG_MOLD)、基于特定右線性文法的詞法掃描器(ACCIEN_PETRI)、基于特定LR文法的語法分析器(LR_GRAMMAR_PETRI).PETRI_PAIN體現(xiàn)了論文提出的先設計開放性的規(guī)則自動生成圖形再手動

4、調整的理論,是一套較為成功的Petri網(wǎng)繪畫工具,但是沒有附帶Petri網(wǎng)的分析功能;PNRG MOLD是一個專為右線性文法建模的工具,它的基本操作同PETRI_PAIN相差不大,軟件在用戶確定輸入完畢之后,首先檢測文法是否合法,然后初步建立Petri網(wǎng),再分三步演示消除沖突和化簡之后的Petri網(wǎng)圖形.這四步過程分別稱為:原始處理、符號化、合并變遷、簡化;ACCIEN PETRI是建立在軟件PNRG MOLD建?；A上的詞法掃描器,軟