圖文法可視化操作平臺的無向圖擴充實現(xiàn)

1.86萬字 47頁 包括外文翻譯，原創(chuàng)作品，通過查重系統(tǒng)


摘 要
在計算機科學(xué)的發(fā)展歷史當(dāng)中，形式語言理論作用重大，然而隨著軟件技術(shù)的不斷發(fā)展，圖、表等二維對象的使用越發(fā)的廣泛和深入，使得傳統(tǒng)形式的字符文法方法已經(jīng)難以勝任，所以作為對傳統(tǒng)字符文法擴展的圖文法的形式化研究，其重要意義不言而喻。
經(jīng)過多年的完善，圖文法作為一個形式化工具應(yīng)用于很多領(lǐng)域，也取得了很多成果，但是這些成果很多涉及到的是有向圖，而對無向圖的研究比較少，能夠支持無向圖的系統(tǒng)平臺相對較少。
本文首先對圖文法及其基本概念進(jìn)行了簡要介紹，并重點討論了圖文法研究中的幾個主要問題，然后對Python語言下EGG可視化操作平臺進(jìn)行了分析，再在此基礎(chǔ)上提出無向圖的擴展方案，并對其中的推導(dǎo)和規(guī)約等關(guān)鍵的模塊進(jìn)行了分析，最后給出相關(guān)的設(shè)計和實現(xiàn)。


關(guān)鍵詞：圖文法；EGG；Python；操作平臺