%0 Journal Article
%T 基于量子逻辑的自动机和文法理论
%A 邱道文？
%J 软件学报
%P 23-27
%D 2003
%X 初步建立了基于量子逻辑的自动机和文法理论的基本框架.引入了量子文法(称为l值文法),特别是证明了任意l值正规文法生成的语言(称为量子语言)等价于某种基于量子逻辑且含动作(的自动机(称为l值自动机)识别的语言,反之,任意l值自动机识别的语言等价于某l值正规文法生成的语言.建立了l值泵引理,并得到量子语言的判定性刻画.最后简要讨论了正规文法与量子文法(即l值正规文法)的关系.因此,为进一步研究更复杂的量子自动机(如量子下推自动机和turing机)和量子文法(如量子上下文无关文法和上下文有关文法)奠定了基础.
%K 量子逻辑
%K 自动机
%K 正规文法
%K 形式语言
%K 泵引理
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20030104&flag=1