基于Unsharp量子逻辑的自动机和文法理论

摘要：

初步建立了具有某种分配律的扩展格序效应代数和格序QMV代数这两种unsharp量子结构上的自动机与文法理论的基本框架.引入了ε -值正则文法的概念,证明了任意ε-值自动机识别的语言等价于某种ε-值正则文法所生成的语言；反之,任意ε-值正则文法所生成的语言等价于某种s-值自动机识别的语言.讨论了-值正则语言在和、连接及反转运算下的封闭性质.

关键词：unsharp量子逻辑、ε-值自动机、ε-值正则文法、ε-值正则语言、正则算子

所属期刊栏目：48

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

资助基金：国家自然科学基金11071178;四川省科技厅重点科技项目2006J13-035;四川省教育厅重点实验室专项2006ZD050

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

页数：共4页

页码：57-60