邱道文 基于量子逻辑的自动机和语法理论。 （中文。英文摘要） Zbl 1060.68068号 J.软。 14，第1期，23-27（2003）. 概要：初步建立了基于量子逻辑的自动机和文法的基本框架。首先，我们介绍了量子文法，它被称为（ell）值文法。特别证明了由任何（ell）值正则文法生成的语言（称为量子语言）等价于由基于量子逻辑的带有（varepsilon）移动的自动机识别的语言（也称为（ell值自动机），相反，由（ell-值自动机也等价于某些\（\ell\）值语法生成的自动机。然后，给出了（ell）值泵浦引理，并给出了量子语言的一个判定特征。最后，简要讨论了正则文法和量子文法（（ell）值正则文法）之间的关系。所介绍的工作为进一步研究更复杂的量子自动机和量子文法，如量子下推自动机和图灵机，以及量子上下文无关文法和上下文敏感文法奠定了基础。 引用于6文件 MSC公司： 65年第68季度 形式语言和自动机 2005年第68季度 计算模型（图灵机等）（MSC2010） 81页68 量子计算 03G12号机组 量子逻辑 关键词：形式语言;抽运引理 PDF格式BibTeX公司 XML格式引用 \textit{D.-W.邱}，J.Softw。14、第1号、第23--27号（2003年；Zbl 1060.68068）