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

• 作 者: 薛倩倩 李永明
• 机 构: 陕西师范大学计算机科学学院
• 出 处: 陕西师范大学学报：自然科学版
• 发表日期: 2014年3期
• 关键词: 有穷自动机 正则语言 偏序格半群 局部有限 finite automataregular languagelattice-order monoidlocal f
• 基金项目: 国家自然科学基金资助项目（11271237，61228305）；高等学校博士点专项科研基金项目（20130202110001）．

为了探讨格值模糊自动机等价的条件，采用对偏序格半群加以限制的方法，将格值模糊有限自动机划分为确定的、序列型的、无歧义的、有限歧义以及无限歧义自动机这几种不同的类型，得到这几类自动机接受语言之间的关系为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．