您的位置： 专家智库 > >

陕西省教育厅科研计划项目(12JK0869)

作品数：1 被引量：2H指数：1
相关作者：韩召伟更多>>
相关机构：陕西师范大学更多>>
发文基金：国家教育部博士点基金陕西省教育厅科研计划项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇代数
  • 1篇代数性质
  • 1篇正则
  • 1篇正则语言
  • 1篇自动机
  • 1篇量子
  • 1篇量子逻辑
  • 1篇M

机构

  • 1篇陕西师范大学

作者

  • 1篇韩召伟

传媒

  • 1篇陕西师范大学...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
量子无穷正则语言的代数性质被引量：2
2012年
引入了量子Müller自动机和量子无穷正则语言的概念.注意到量子Müller自动机识别的量子无穷正则语言的像集总是有限的,借助语义分析方法和量子状态构造技术,研究了量子Müller自动机的代数刻画,即证明了任一量子Müller自动机与具有分明初状态和状态转移函数且具有量子终状态的量子Müller自动机是相互等价的;借此给出了量子无穷正则语言的代数描述和层次刻画,即任一量子无穷语言A是可识别的当且仅当A的像集有限且A可表示为有限个特殊量子无穷正则语言的并;作为应用,证明了即使量子逻辑本身缺少分配律,量子无穷正则语言关于正则运算仍然封闭.
韩召伟
关键词：量子逻辑
全选 清除 导出
共1页<1>
聚类工具0