| 同步格值自动机的约简和最小化算法 |
| |
| 引用本文： | 雷红轩,李永明.同步格值自动机的约简和最小化算法[J].计算机工程与应用,2006,42(16):57-60. |
| |
| 作者姓名： | 雷红轩 李永明 |
| |
| 作者单位： | 1. 内江师范学院数学系,四川,内江,641112
2. 陕西师范大学计算机科学学院,西安,710062 |
| |
| 基金项目： | 中国科学院资助项目;科技部科研项目;高等学校优秀青年教师教学科研奖励计划 |
| |
| 摘 要： | 引入了完备L-Fuzzy矩阵的概念,提出了取值于格半群上的输入字符和输出字符长度相同的模糊自动机的概念,即完备的同步格值自动机的概念,研究了它的主要性质;从行为矩阵出发,给出了完备的同步格值自动机状态等价和自动机等价的定义,从自动机的状态等价,研究了该自动机可约简的条件,并得到了该自动机的最小化算法。
|
| 关 键 词： | 格半群 模糊自动机 等价 约简 最小化算法 |
| 文章编号： | 1002-8331-（2006）16-0057-04 |
| 收稿时间： | 2005-09 |
| 修稿时间： | 2005-09 |
Reduction and Minimization Algorithm of Synchronous Lattice-valued Automata |
| |
| Lei Hongxuan,Li Yongming.Reduction and Minimization Algorithm of Synchronous Lattice-valued Automata[J].Computer Engineering and Applications,2006,42(16):57-60. |
| |
| Authors: | Lei Hongxuan Li Yongming |
| |
| Abstract: | The concept of complete L-Fuzzy matrix is proposed,the definition of fuzzy automata takes truth values in a lattice-ordered monoid with the same of length of input and output words are formulated,i.e,the definition of complete synchronous lattice-valued automata are formulated,and its main properties is studied.From behavior matrix,the definition of statewise equivalence relations and automata equivalence of the complete synchronous lattice-valued automata are given,from the statewise equivalence relations,reducible condition and minimization algorithm of this kinds of automata are obtained. |
| |
| Keywords: | lattice-ordered monoid fuzzy automata equivalence reduction minimization algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
