摘要
利用三元关系定义半群语言(半群的子集),初步讨论了半群语言的代数性质,然后证明了非空有限集合∑上的自由半群∑*的半群语言类与有穷状态自动机所接受的正规语言类是一致的。
In this paper, we introduce a concept, semigroup languages, in a semigroup by using a triple relation. It is proved that the class of semigroup languages of $ S $ , the free semigroup generated by a nonempty finite set ∑, coincides with the class of regular languages over ∑.
出处
《贵州师范大学学报(自然科学版)》
CAS
2006年第3期78-81,共4页
Journal of Guizhou Normal University:Natural Sciences
基金
贵州省自然科学基金项目[(2003)3002]
关键词
形式语言
半群
自动机理论
formal language
semigroup
automata theory