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

作者：田径; 徐慧

来源：纯粹数学与应用数学, 2015, 31(05): 468-473.

• 确定权重自动机
• 同余
• 极小自动机

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

• 单位
  西安理工大学; 空军工程大学理学院; 金融学院; 西安外国语大学