自动机及其代数规范描述  

AUTOMATA AND THEIR ALGEBRAIC SPECIFICATION DESCRIPTION

作　　者：王宪栋[1] 

机构地区：[1]青岛大学数学系,青岛266071

出　　处：《青岛大学学报（自然科学版）》2000年第1期5-9,共5页Journal of Qingdao University(Natural Science Edition)

摘　　要：本文利用泛代数的思想和方法研究自动机理论，建立了亚群和自动机的方程规范模型，把亚群和自动机定义为这种规范模型的代数。给出了规范代数可识别语言的定义，并讨论了和规范代数的同态及同余之间的关系。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.

关 键 词：自动机 规范代数 可识别语言 有限自动机 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]