格值模糊自动机及对应语言的分级-陕西师范大学学报期刊社网站

陕西师范大学学报（自然科学版）

数学与计算机科学

格值模糊自动机及对应语言的分级

薛倩倩, 李永明*

(陕西师范大学计算机科学学院, 陕西西安 710119)

薛倩倩, 女, 硕士研究生, 研究方向为自动机理论.E-mail:xueqianqian@stu.snnu.edu.cn.

摘要:

为了探讨格值模糊自动机等价的条件, 采用对偏序格半群加以限制的方法, 将格值模糊有限自动机划分为确定的、序列型的、无歧义的、有限歧义以及无限歧义自动机这几种不同的类型, 得到这几类自动机接受语言之间的关系为L-DFAL-SeqL-NAmbL-FAmbL-Reg;当偏序格半群非局部有限时,关系为L-DFAL-SeqL-NAmbL-FAmbL-Reg;当偏序格半群局部有限时, 关系为L-DFA=L-Seq=L-NAmb=L-FAmb=L-Reg.

关键词：

有穷自动机；正则语言；偏序格半群；局部有限

收稿日期：

2013-08-27

中图分类号：

TP301.1

文献标识码：

文章编号：

1672-4291(2014)03-0010-05

基金项目：

国家自然科学基金资助项目(11271237, 61228305)；高等学校博士点专项科研基金项目(20130202110001).

Doi:

Hierarchy of lattice-valued fuzzy automata and their languages

XUE Qianqian, LI Yongming*

(College of Computer Science, Shaanxi Normal University, Xi′an 710119, Shaanxi, China)

Abstract:

In order to explore the condition of equivalence of lattice valued fuzzy automata, by using the method of restricting the lattice-ordered monoid, automata could be divided into determinate, sequential, unambiguous, finitely ambiguous and infinitely ambiguous automata. In which the lattice-ordered monoid is commutative, then it is obviously that L-DFAL-SeqL-NAmbL-FAmbL-Reg. If the lattice-ordered monoid is not local finiteness, the relationship among the languages isL-DFAL-SeqL-NAmbL-FAmbL-Reg.And if it is local finiteness, the relationship could be L-DFA=L-Seq=L-NAmb=L-FAmb=L-Reg.

KeyWords:

finite automata; regular language; lattice-order monoid; local finiteness