基于有限格序幺半群的自动机理论的状态最小化  

作　　者：郭秀红[1] 赵宝珠[1] 

机构地区：[1]四川托普信息技术职业学院,四川成都611743

出　　处：《中国科技纵横》2012年第16期55-55,57,共2页China Science & Technology Overview

摘　　要：定义了一种新的矩阵运算并由此给出了格值有限Mealy型自动机的定义。将转移矩阵M和输出矩阵O分别扩展到M^＊和O^＊。给出了格值有限Mealy型自动机的状态等价和自动机等价的定义。定义了状态最小化自动机并且得出了结论：任意一个格值有限Mealy型自动机都存在一个与之等价的状态最小化自动机。

关 键 词：格序幺半群 模糊有限自动机 最小化 

分 类 号：O152.7[理学—数学]