确定权重有限自动机的同余及极小自动机

摘要

主要研究对象是强双幺半群上的确定权重有限自动机A.首先给出了A上的同态定理和同构定理;接着,构造了识别φ的一个极小自动机Aφ;最后,证明极小自动机在同构意义下是唯一的.