自动机和形式语言结构的理论研究  

The Theoretical Study of The Structure of Automaton andFormal Languages

作　　者：邱丽萍[1] 朱平[1] 

机构地区：[1]江南大学理学院,江苏无锡214064

出　　处：《江南大学学报（自然科学版）》2003年第5期516-520,共5页Joural of Jiangnan University (Natural Science Edition)　

基　　金：江南大学自然科学基金项目(314000-52212043)资助课题

摘　　要：利用半群代数理论进一步讨论了自动机和形式语言的理论结构 首先构造了一个简单的有穷自动机的么半群,用代数理论分析了其性质,并推广到非确定性有穷自动机的情况 然后对字母表关于连接运算构成的么半群的性质作了进一步探讨,并给出了二进制串生成的半环。In this paper ,we study the theoretical construction of automaton theory and formal language theory by using the algebraic theory of semigroups. First, we construct a monoid of a finite automaton, analyse its properties, and apply these results to the nondeterministic finite automation. Then, we analyse the monoid generated by the alphabets with the concatenation calculation, give the semiring formed by the binary systematic strings and study its construction.

关 键 词：半群 么半群 半环 形式语言 有穷自动机 

分 类 号：O152.7[理学—数学] TP301.1[理学—基础数学]