自動稠密性及反自動稠密性言語的研究

在資訊科學研究的領域中，正規化言語的理論扮演著重要的角色，其中對於規則化言語及分離化言語的研究就佔有相當大的部分。為了簡化判斷言語是否具有分離化的特性，在Ries及Shyr的研究中，提供了利用言語稠密的特性來判斷一個言語是否具有分離化性質的方法，此乃引起研究者對於一個言語其所含稠密化性質的研究興趣。
相較於言語稠密的特性，本研究乃是探討言語所具自動稠密的性質，使得含有自動稠密性的言語必包含有稠密的特性。同時，對於不具有自動稠密性質的言語，如果其能具有中置數碼的特性時，則此言語則是被定義為反自動稠密性言語，此類言語的性質也將是本研究所要探討的主軸。
對於自動稠密性及反自動稠密性言語，本研究計畫將就此二言語分別討論其所具有的代數性質，包括探討其子言語及多個言語聯集後是否會改變其自動稠密或反自動稠密的性質，並且對於連鎖的運算能否保持其封閉性等加以討論。其中，因反自動稠密性言語含有中置數碼的特性，所以本研究也將探討此言語與不同數碼（如：逗號自由數碼、中間數碼、純正數碼等）之間的關聯性。最後，於探究以上所提出之性質後，本研究將提出一個能夠建構具有自動稠密性及反自動稠密性言語的程序。