所有作者：李永明
作者单位：陕西师范大学计算机科学学院
论文摘要：论文定义了格值有穷自动机，即隶属度取值于有界格的有穷自动机理论。对于格值有穷自动机，论文引入了扩展的子集构造技术，进而证明了格值有穷自动机、格值确定型有穷自动机以及带有空转移的格值有穷自动机的等价性。论文给出了格值有穷自动机识别语言的简单刻画，进而证明了格值有穷自动机对应的Kleene定理。给出了针对格值确定型有穷自动机的状态最小化算法。特别地，分析了有穷自动机取值域的分配性的作用：格的分配律对格值有穷自动机的许多构造不是必要的，但利用分配律确实可以更简化地处理格值有穷自动机。
关键词： 有穷自动机 语言 格 子集构造技术
免费下载《取值于有界格的自动机理论》PDF全文（已停止下载）
本站“论文下载”文章收集整理于“中国科技论文在线”，由于各种原因，本站已暂停论文下载！请前往“中国科技论文在线http://www.paper.edu.cn/”免费下载！
下一篇：一种改进的量子进化算法
指出，范文大全立刻进行改正或删除有关内容! 
当前位置：