臺灣博碩士論文加值系統

設Ｘ為由Ｘ所生成之么半群，Ｘ至少含二個字母，令１為空字，Ｘ＝Ｘ＼｛
１｝。令Ｑ為所有原始字的集合，每一個字都可以表為一原始字的次方。因此我們
可以定義兩個函數λ及μ。其中λ從Ｘ對應Ｑ。如果一個言語Ｌ，λ（Ｌ）＝Ｑ
，我們稱Ｌ為蓋全性言語，如果λ（Ｌ）＝Ｑ＼Ｆ，Ｆ為一Ｑ的有限子集合，我們
稱Ｌ為輔蓋全性言語。在這篇論文中，我們主要討論蓋全性及輔蓋全性言語的性質
，同時也證明了與自動機相關的定理以及文意么半群的一些性質。