基于內存自動機與模式的動態引擎構造技術研究
解釋是軟件系統開發與構造過程中反復出現的一個主題。一個應用系統自身可被理解為針對數據的變換和解釋。系統開發者為實現軟件系統的適應性與擴展性，利用解釋系統將開發時尚不能確定的狀態留待運行時解釋并執行特定動作。語言的翻譯或解釋引擎是各種引擎中最為復雜的一種，本文以腳本語言的定義和引擎構造為核心，總結語言中各種語法和語義現象，重點研究在內存自動機基礎上的SLL(*)計算、回溯計算、LookAhead DFA構造以及文法與語義模式。 論文在構造內存自動機的基礎上，將SLL(*)計算、回溯計算、以及動態引擎的結構分析統一為自動機上的狀態遷移操作。這些算法都已在動態解析引擎XDSLL(*) Parser中實現。為了驗證算法的正確性、有效性以及相關綜合性能，本文還對其進行了系統的實驗研究。作者研究工作的具體內容包括： ⒈定義基本正則表達式的元語言并構造正則元語言識別引擎 正則元語言用于描述待解析目標的詞法結構，而正則元語言識別引擎將元語言描述的正則表達式轉化為等價語法樹，在語法樹基礎之上構造相應的內存有限狀態自動機，并在構造過程中進行沖突檢測以及沖突消解，最終實現在內存有限狀態自動機上的輸入流匹配，為后續的文法結構分析提供輸入。 ⒉提出了一種增強的SLL(*)分析計算方法 動態分析引擎自身是基于下推自動機PDA進行狀態遷移的，可以為結構分析提供運行時的棧信息。增強的SLL(*)分析算法以終結符號和運行時棧信息為計算依據，減少了僅采用終結符號進行預測分析時所產生的狀態爆炸問題，從而加快了在內存自動機上選擇下一遷移狀態時的速度。 ⒊提出了一種SLL(*)分析與回溯分析相結合的分析方法 SLL(*)分析不保證對所有LL文法都能夠進行結構分析，回溯分析可保證對所有LL文法甚至二義文法進行分析，但其單次分析不具有完備性。當SLL(*)分析失效時，啟用回溯分析以保證動態解析引擎對語法分析的完備性，同時將SLL(*)計算結果與回溯分析結果進行融合并構造LookAhead DFA以加快引擎分析速度。 ⒋實現了基于PDA的結構分析引擎與語義動作掛接機制 結構分析等價于PDA中的狀態遷移，直接在PDA上進行狀態遷移即可完成結構分析；在進行狀態遷移的同時，執行特定結構所附加的語義動作，可完成相應語義計算，同時提供基于語法樹上語義動作的前置計算與后置計算，便于開發者改變語法樹上的缺省計算順序。 ⒌實現了常用的文法模式與相應的語義動作 作者對語言中頻繁出現的部分文法模式進行了分析，并將相應的語義動作以類庫形式進行封裝，既有效降低結構分析與語義動作間的耦合性，也解決了引擎構造過程中的代碼冗余問題，最大限度地提高語義模塊的復用程度。
【基于內存自動機與模式的動態引擎構造技術研究】相關文章：
基于動態信用農戶供應鏈融資模式研究提綱12-02
基于滾動計劃的動態企業資源優化模型03-29
探究建筑施工成本動態管理模式06-04
談基于信息交互的網絡教學模式11-30
基于運營管理的沃爾瑪發展模式分析11-16
基于勝任能力的MBA培養模式探討12-10
基于PRIC理論的圖像信息技術研究提綱12-04
基于RFID的室內定位系統技術研究提綱12-06
關于基于勝任能力的MBA培養模式的探討12-06
- 相關推薦