| 自动机和形式语言结构的理论研究 |
| |
| 引用本文： | 邱丽萍,朱平.自动机和形式语言结构的理论研究[J].江南大学学报(自然科学版),2003,2(5):516-520. |
| |
| 作者姓名： | 邱丽萍 朱平 |
| |
| 作者单位： | 江南大学,理学院,江苏,无锡,214064 |
| |
| 基金项目： | 江南大学自然科学基金项目(314000-52212043)资助课题 |
| |
| 摘 要： | 利用半群代数理论进一步讨论了自动机和形式语言的理论结构．首先构造了一个简单的有穷自动机的么半群，用代数理论分析了其性质，并推广到非确定性有穷自动机的情况．然后对字母表关于连接运算构成的么半群的性质作了进一步探讨，并给出了二进制串生成的半环，及研究了它的结构理论。
|
| 关 键 词： | 半群 么半群 半环 形式语言 有穷自动机 |
| 文章编号： | 1671-7147(2003)05-0516-05 |
| 修稿时间： | 2003年6月24日 |
The Theoretical Study of The Structure of Automaton and Formal Languages |
| |
| QIU Li-ping,ZHU Ping.The Theoretical Study of The Structure of Automaton and Formal Languages[J].Journal of Southern Yangtze University:Natural Science Edition,2003,2(5):516-520. |
| |
| Authors: | QIU Li-ping ZHU Ping |
| |
| Abstract: | 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. |
| |
| Keywords: | semigroup monoid semiring formal language finite automaton |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
