量子上下文无关文法的代数性质  

Algebraic properties of context-free grammar based on quantum logic

作　　者：宋小震[1,2] 韩召伟[1] 李永明[3] 

机构地区：[1]陕西师范大学数学与信息科学学院,西安710062 [2]榆林学院数学系,陕西榆林719000 [3]陕西师范大学计算机科学学院,西安710062

出　　处：《计算机工程与应用》2011年第4期42-46,71,共6页Computer Engineering and Applications

基　　金：国家自然科学基金(No.60873119);陕西师范大学青年科技项目(No.200701008)~~

摘　　要：提出了量子上下文无关文法(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.

关 键 词：量子逻辑 正交模格 量子上下文无关文法 量子上下文无关语言 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构] O153.1[自动化与计算机技术—计算机科学与技术]