检索结果-维普期刊中文期刊服务平台

基于量子逻辑的下推自动机与上下文无关文法被引量：8: 1; 作者韩召伟李永明《软件学报》 EI CSCD 北大核心 2010年第9期2107-2117,共11页; 给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上... 展开更多; 关键词量子逻辑正交模格量子下推自动机量子上下文无关语言量子上下文无关文法; 在线阅读下载PDF 职称材料

量子上下文无关文法的代数性质被引量：1: 2; 作者宋小震韩召伟李永明《计算机工程与应用》 CSCD 北大核心 2011年第4期42-46,71,共6页; 提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算... 展开更多; 关键词量子逻辑正交模格量子上下文无关文法量子上下文无关语言; 在线阅读下载PDF 职称材料

基于量子逻辑的下推自动机的代数刻画被引量：1: 3; 作者韩召伟李永明《计算机工程与科学》 CSCD 2008年第11期72-74,共3页; 首先,本文提出量子下推自动机(简记为L-VPDA)的概念,从代数角度出发详细研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用量子状态构造证明了任意L-VPDA与状态转移为经典函数且具有量子终状态的L-VPDA间的相互等价性;其次... 展开更多; 关键词量子逻辑正交模格量子下推自动机量子上下文无关语言代数刻画; 在线阅读下载PDF 职称材料