同步格值自动机的约简和最小化算法

被引：12

作者：

雷红轩 ^{[1
]}

李永明 ^{[2
]}

机构：

[1] 内江师范学院数学系

[2] 陕西师范大学计算机科学学院

来源：

计算机工程与应用 | 2006年 / 16期

关键词：

格半群; 模糊自动机; 等价; 约简; 最小化算法;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引入了完备L-Fuzzy矩阵的概念,提出了取值于格半群上的输入字符和输出字符长度相同的模糊自动机的概念,即完备的同步格值自动机的概念,研究了它的主要性质;从行为矩阵出发,给出了完备的同步格值自动机状态等价和自动机等价的定义,从自动机的状态等价,研究了该自动机可约简的条件,并得到了该自动机的最小化算法。

引用

页码：57 / 60

页数：4

共 4 条

[1] 两类具有输出字符功能的模糊自动机的关系 [J].