(林聖偉, 民國94年1月)
在形式語言的教學中有許多複雜的演算. 本論文提出一個教學輔助系統, 稱為TkFL. 這個系統除了提供常見的功能外, 更在機器交乘上提出創新的改進. 自動機的交乘通常都是將要交乘的機器轉換成DFA後, 再將這些機器相乘轉換成新DFA的方式完成. 但某些NFA或交乘機並不適合轉換成DFA, 因為這些NFA或交乘機在做轉換時, 尺寸常會超載. 我們利用物件導向方法引入抽象狀態與廣義的自動機結構, 這就使得DFA、NFA甚至是已交乘過的交乘機皆能透過模擬的方式做交乘. 如此一來, 很多實務上無法利用轉換法製作出來的自動機, 即可在TkFL內利用模擬法完成. 另外, 我們還提出Language Iterators的Java Class, 用來協助語言的分析.
關鍵字: 形式語言, 有限自動機, 廣義交乘機, 語言數點器.