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

作者：彭家寅unsharp量子逻辑正则算子

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社