关键词: 量子逻辑 正交模格 量子下推自动机 量子上下文无关语言 代数刻画

Abstract:

Firstly, the notion of orthomodular lattice-valued pushdown automaton（abbr. L-VPDA） is introduced, we traverse some algebraic properties of these au tomata in detail and also establish the algebraic features of these automata, i. e, by using the means of quantum state construction. We prove the fact    that an arbitrary L-VPDA can accept the same L-valued language by the final states and by one L-VPDA with the crisp transition relation and fuzzy final   states. Secondly, we discuss the algebraic characterization of orthomodular lattice-valued context-free languages, and also deal with the closed propert  ies of these L-valued languages under some regular operations in particular at the same time.

Key words: quantum logic, orthomodular lattice, orthomodular lattice-valued pushdown automaton, ort   , homodular latticevalued context-free language;algebraie charaeterization