摘要
提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。
The concept of orthomodular lattice-Valued Context-Free Grammar（l-VCFG） is proposed and its algebraic properties are investigated.It is shown that orthomodular lattice-Valued Chomsky Normal Forms（l-VCNF） and orthomodular latticeValued Greibach Normal Forms（l-VGNF） of l-VCFG are mutually equivalent.The related transformations are constructed in the meantime.Some algebraic and level characterizations of orthomodular lattice-valued context-free languages are presented,and the closed properties of this l-valued languages under some regular operations are studied at the same time.
出处
《计算机工程与应用》
CSCD
北大核心
2011年第4期42-46,71,共6页
Computer Engineering and Applications
基金
国家自然科学基金(No.60873119)
陕西师范大学青年科技项目(No.200701008)~~
关键词
量子逻辑
正交模格
量子上下文无关文法
量子上下文无关语言
quantum logic
orthomodular lattice
orthomodular lattice-valued context-free grammar
orthomodular lattice-valued context-free language
