安徽省优秀青年科技基金(2011SQRL097)
- 作品数：2 被引量：3H指数：1
- 相关作者：张丽霞王拥兵雷红轩更多>>
- 相关机构：安庆师范学院内江师范学院更多>>
- 发文基金：安徽省优秀青年科技基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于量子逻辑的确定型正则文法
- 2013年
- 基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念,证明了基于量子逻辑的确定型正则文法与基于量子逻辑的确定型自动机的等价性。利用此等价性,给出了量子确定正则语言的代数刻画和层次刻画,并得到量子确定正则语言关于正则运算的封闭性。
- 王拥兵张丽霞雷红轩
- 关键词：量子逻辑正交模格
- 加权有穷自动机的代数性质被引量：3
- 2014年
- 在加权有穷自动机理论基础上,利用强同态的概念,证明两个加权有穷自动机在计算能力上是等价的,并在加权有穷自动机的状态集上建立一种等价关系,得到加权有穷自动机的商自动机,证明加权有穷自动机与其商自动机在计算能力上也是等价的。并通过引入加权有穷自动机的可交换性、分离性、(强)连通性及层的概念,讨论在(强)同态的条件下,两个加权有限状态机之间的可交换性、分离性、(强)连通性及层的关系。
- 张丽霞
- 关键词：形式幂级数同态强连通
