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

摘要：

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

关键词：有穷自动机、正则语言、偏序格半群、局部有限

分类号：TP301.1(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目11271237，61228305；高等学校博士点专项科研基金项目20130202110001．

在线出版日期：2014-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：10-14