| 自动机及其代数规范描述 |
| |
| 引用本文： | 王宪栋.自动机及其代数规范描述[J].青岛大学学报(自然科学版),2000,13(1):5-9. |
| |
| 作者姓名： | 王宪栋 |
| |
| 作者单位： | 青岛大学数学系!青岛266071 |
| |
| 摘 要： | 本文利用泛代数的思想和方法研究自动机理论，建立了亚群和自动机的方程规范模型，把亚群和自动机定义为这种规范模型的代数。给出了规范代数可识别语言的定义，并讨论了和规范代数的同态及同余之间的关系。
|
| 关 键 词： | 自动机 规范代数 可识别语言 有限自动机 |
AUTOMATA AND THEIR ALGEBRAIC SPECIFICATION DESCRIPTION |
| |
| WANG Xian-dong.AUTOMATA AND THEIR ALGEBRAIC SPECIFICATION DESCRIPTION[J].Journal of Qingdao University(Natural Science Edition),2000,13(1):5-9. |
| |
| Authors: | WANG Xian-dong |
| |
| Institution: | WANG Xian-dong |
| |
| Abstract: | This paper describes automata according to their algebraic specification model. The concept of an automaton is defined as an algebra of its algebraic specification. The definition of recognizable languages for such an algebra is also given, and some equivalent conditions are provided. |
| |
| Keywords: | automata Specification algebra recognizable Language |
| 本文献已被 CNKI 维普 等数据库收录！ |
