自动机及其代数规范描述

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