基于量子逻辑的l-值正则语言的广义泵引理.pdfVIP

2011年6月 伊犁师范学院学报 (自然科学版) Jun．2011 第2期 JournalofYiliNormalUniversity (NaturalScienceEdition) NO．2 基于量子逻辑的 一值正则语言的广义泵引理 何洪涛，汤建钢 (伊犁师范学院 数学系，新疆 伊宁 835000) 摘 要：给出了三个，一值正则语言的广义泵引理，是文献 [5]中泵引理的推广，可以解决更 广泛的 卜-值正则语言的判定问题． 关键词：，一值有限自动机；，一值正则语言；，一值语言的泵引理 中图分类号：TP301．1 文献标识码：A 文章编号：1673--999X (2011)02—O001—04 1936年，Birkhoff和 VonNeumann提出了量子逻辑．它源于量子力学的形式化，由于量子力学可由 Hilbert空间来描述，而Hilbert的所有闭子空间构成正交模格．所以，正如Boolean代数是经典逻辑的代数 形式一样，文献[1]建议用正交模格作为量子逻辑的代数形式．之后，文献[2]中定义量子逻辑为正交模格． 文献 [3，4]将量子逻辑定义为完备的正交模格值逻辑，从而提出了基于量子逻辑的自动机理论，即，．值 自动 机，并讨论了，．值 自动机的一些运算性质和泵引理．但是上述文献所给出的，．值泵引理所适用的范围通常 有一定的局限性，例如，不能判定，．值语言{09≠0I ∑ L)是否为，．值正则语言，其中： 1，若 =abc，a，b，c∈∑； 若 =aI]bI】c【，0p,0g≤，．，pq+r，口，b，c∈∑； ， 09= ，若 =atlbllcH，0p， Oqr，pq+r，q+r≠2，口，b，c∈∑； 0，其他： ，=({6g，，0，1)，，V，^，上，0，1)为正交模格，满足：V =1，口^=0(本文引例都基于该正交模格，以下 省略)．对此，我们在本文中对已有的，．值泵引理做进一步推广，以解决上面所提出的问题．在给出定理 之前，首先介绍一些必要的定义． 所谓的字母表是指一非空有限集合，用∑表示，字母表 ∑中的元素称为该字母表中的字母，也可称为 符号或字符． 设∑是一个字母表，则∑上的一个句子是并置起来的有穷符号序列，也称为字、字符或字符串．所有 句子组成的集合用∑’来表示，Vx∈∑’，句子x中字符出现的总个数叫做该句子的长度，记作 ．长度为 0的字符串称为空句子，记为 ． 称 (L，≤)为偏序集，若L上的关系 “ ”满足：对 ，，∈L，有 ≤ ；当 ≤ 且 ≤ 时，有 ≤，，； 当 且∥ 时，有 = ．偏序集(厶 )称为格，如果对V ，∈三，有 V ， ／k ∈L．设L为格， 收稿 日期：2Olo__l1—1O 基金项目；伊犁师范学院2009年度大学生科研计划课题 (2009SX11)． 作者简介：何洪涛 (1987一)，男，硕士研究生，主要从事计算理论方向的研究；汤建钢 (1959一)，男，教授，留欧 博士，四川大学博士 (第二学位)，主要从事拓扑与序结构、代数与模糊系统、自然语言理解与处理、量子计算与信息等领 域 的研究． 2 伊犁师范学院学报 (自然科学版) 201t年 若对 V cL，H 有最大下界和最小上界 ，则称 L 为完备格．完备 的正交模格 是一个七元组 ，=厶≤，A，V，上，0，1)，其中L是完备格；0与 1分别是最大元和最小元，“≤”是偏序关系；一元运算上是 L上的正交补，且满足：对任意的 ， ∈L， ^ =0， v =1，( )= ， ≤ 蕴涵 ，Ot 蕴涵口^ V6)：b．在正交模格值逻辑中，定义集合论公式 ∈A的真值为 『∈A]= ()，公式 是有 效的当且仅当 『]=1． 定义1【，=厶，A，V，上，0，1是完备的正交模格，∑为一有限字母表，称四元组 =(Q，q。，F，)是∑ 上的，．值 自动机，其中Q