韩召伟
- 作品数:15 被引量:28H指数:2
- 供职机构:陕西师范大学更多>>
- 发文基金:国家自然科学基金中央高校基本科研业务费专项资金国家教育部博士点基金更多>>
- 相关领域:自动化与计算机技术理学更多>>
- 量子上下文无关文法的代数性质被引量:1
- 2011年
- 提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。
- 宋小震韩召伟李永明
- 关键词:量子逻辑正交模格
- 格值自动机的代数性质与极小化算法
- 取值于格半群的自动机比其它形式的模糊自动机能接受更为广泛的形式语言与模糊语言,将基于词的计算模型建立在更广泛的理论之上。因此,对取值于格半群的自动机代数性质的研究和极小化问题的研究是格值自动机理论的两个重要课题。
...
- 韩召伟
- 关键词:格半群格值自动机正则同余
- 文献传递
- 量子Bchi自动机的代数及逻辑刻画被引量:1
- 2013年
- 提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研究了量子无穷正则语言的代数刻画、层次刻画和Bchi刻画以及对于正则运算的封闭性;通过引入单体二阶量子逻辑(简记为LVMSO)的概念,给出量子Bchi自动机所识别无穷语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Bchi基本定理.
- 韩召伟
- 关键词:量子逻辑
- 几类基于量子逻辑的自动机的代数及逻辑刻画
- 量子计算的思想源于物理与计算之间的联系.由于可逆性是量子物理的一个重要特征,所以该问题可追溯到Bennett于1973年证明了任意的Turing机都能被可逆的Turing机有效地模拟Benioff于1980年构造了一类基...
- 韩召伟
- 关键词:量子逻辑正交模格
- 取值于赋值幺半群的加权下推自动机的代数性质被引量:1
- 2017年
- 引入取值于赋值幺半群的加权下推自动机、标准型加权下推自动机的定义,证明了在双幺赋值幺半群框架下,加权下推自动机与标准型加权下推自动机相互等价,且以终态方式与以空栈方式识别语言的加权下推自动机能够识别相同的形式幂级数;在Cauchy双幺赋值幺半群上,加权上下文无关语言对于和、连接、正克林闭包运算封闭。结果表明加权下推自动机的诸多性质并不依赖于赋值幺半群的分配律和结合律。
- 付雯静韩召伟
- 量化上下文无关语言的代数性质被引量:1
- 2017年
- 通过引入量化下推自动机与量化上下文无关文法的定义,研究了以两种不同方式接受语言的量化下推自动机等价性问题,证明了在可交换的双幺赋值幺半群上,量化下推自动机接受的语言与量化上下文无关文法生成的语言相同。
- 付雯静韩召伟
- 量子无穷正则语言的代数性质被引量:2
- 2012年
- 引入了量子Müller自动机和量子无穷正则语言的概念.注意到量子Müller自动机识别的量子无穷正则语言的像集总是有限的,借助语义分析方法和量子状态构造技术,研究了量子Müller自动机的代数刻画,即证明了任一量子Müller自动机与具有分明初状态和状态转移函数且具有量子终状态的量子Müller自动机是相互等价的;借此给出了量子无穷正则语言的代数描述和层次刻画,即任一量子无穷语言A是可识别的当且仅当A的像集有限且A可表示为有限个特殊量子无穷正则语言的并;作为应用,证明了即使量子逻辑本身缺少分配律,量子无穷正则语言关于正则运算仍然封闭.
- 韩召伟
- 关键词:量子逻辑
- 基于量子逻辑的下推自动机与上下文无关文法被引量:8
- 2010年
- 给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上下文无关语言关于正则运算的封闭性.最后,说明了量子下推自动机和量子上下文无关文法(l-VCFG)的等价性.
- 韩召伟李永明
- 关键词:量子逻辑正交模格
- 模糊Büchi自动机的等价刻画被引量:1
- 2013年
- 模糊语言的研究是形式语言研究的焦点之一,然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向.文章在模糊ω-语言的研究基础上,从模糊逻辑角度研究了模糊ω-正则语言的等价刻画.首先借助广义子集构造方法,证明了任一模糊Büchi自动机与具有分明初始状态和状态转移函数且具有模糊终状态的模糊Büchi自动机是等价的,藉此研究了模糊ω-正则语言的代数刻画和层次刻画,讨论了模糊ω-正则语言关于正则运算的封闭性;其次引入单体二阶Lukasiewicz逻辑的概念,给出模糊Büchi自动机识别语言的等价逻辑刻画;最后通过引入ω-星自由和ω-非周期模糊ω-语言,利用'层次化'处理技巧得到了多值逻辑意义下的分类定理,对模糊ω-正则语言给出了一种分类方法.
- 韩召伟李永明
- 关键词:模糊逻辑刻画
- Lukasiewicz逻辑值上下文无关语言的代数刻画被引量:1
- 2011年
- 提出了基于Lukasiewicz逻辑的下推自动机(l-VPDA)的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模糊状态构造,证明了任意以终状态方式接受模糊语言的l-VPDA与状态转移为经典函数且具有l值模糊终状态的l-VPDA间的相互等价性;并证明任意以空栈方式接受模糊语言的l-VPDA与状态转移除一步转移为模糊的以外,其余都是经典函数的l-VPDA是相互等价的;详细研究了l-值模糊上下文无关语言的代数和层次刻画,以及对于正则运算的封闭性。
- 韩召伟韩召莹