作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
引入了量子Müller自动机和量子无穷正则语言的概念.注意到量子Müller自动机识别的量子无穷正则语言的像集总是有限的,借助语义分析方法和量子状态构造技术,研究了量子Müller自动机的代数刻画,即证明了任一量子Müller自动机与具有分明初状态和状态转移函数且具有量子终状态的量子Müller自动机是相互等价的;借此给出了量子无穷正则语言的代数描述和层次刻画,即任一量子无穷语言A是可识别的当且仅当A的像集有限且A可表示为有限个特殊量子无穷正则语言的并;作为应用,证明了即使量子逻辑本身缺少分配律,量子无穷正则语言关于正则运算仍然封闭.
推荐文章
正则FI代数及其伴随代数
FI代数
正则FI代数
伴随代数
Boolean代数
效应代数中的正则元和正规元
效应代数
Well Inside关系
正则元
正规元
正交模格
量子上下文无关文法的代数性质
量子逻辑
正交模格
量子上下文无关文法
量子上下文无关语言
Virasoro代数的量子变形
Hopf代数
Virasoro代数
量子变形
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 量子无穷正则语言的代数性质
来源期刊 陕西师范大学学报:自然科学版 学科 工学
关键词 量子逻辑 量子Müller自动机 量子无穷正则语言
年,卷(期) 2012,(5) 所属期刊栏目 数学与计算机科学
研究方向 页码范围 9-13
页数 5页 分类号 TP301.1
字数 6435字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 韩召伟 陕西师范大学数学与信息科学学院 11 40 2.0 5.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (42)
共引文献  (12)
参考文献  (5)
节点文献
引证文献  (2)
同被引文献  (2)
二级引证文献  (2)
1936(1)
  • 参考文献(0)
  • 二级参考文献(1)
1959(1)
  • 参考文献(0)
  • 二级参考文献(1)
1960(1)
  • 参考文献(0)
  • 二级参考文献(1)
1961(1)
  • 参考文献(0)
  • 二级参考文献(1)
1965(1)
  • 参考文献(0)
  • 二级参考文献(1)
1982(1)
  • 参考文献(0)
  • 二级参考文献(1)
1985(1)
  • 参考文献(0)
  • 二级参考文献(1)
1993(4)
  • 参考文献(1)
  • 二级参考文献(3)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(2)
  • 参考文献(0)
  • 二级参考文献(2)
2000(6)
  • 参考文献(0)
  • 二级参考文献(6)
2004(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(4)
  • 参考文献(1)
  • 二级参考文献(3)
2007(5)
  • 参考文献(0)
  • 二级参考文献(5)
2008(2)
  • 参考文献(0)
  • 二级参考文献(2)
2009(3)
  • 参考文献(1)
  • 二级参考文献(2)
2010(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(2)
  • 参考文献(1)
  • 二级参考文献(1)
2012(2)
  • 参考文献(0)
  • 二级参考文献(2)
2013(2)
  • 参考文献(0)
  • 二级参考文献(2)
2014(2)
  • 参考文献(0)
  • 二级参考文献(2)
2017(2)
  • 参考文献(0)
  • 二级参考文献(2)
2019(1)
  • 参考文献(0)
  • 二级参考文献(1)
2012(2)
  • 参考文献(0)
  • 二级参考文献(2)
  • 引证文献(0)
  • 二级引证文献(0)
2013(1)
  • 引证文献(1)
  • 二级引证文献(0)
2014(2)
  • 引证文献(1)
  • 二级引证文献(1)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
量子逻辑
量子Müller自动机
量子无穷正则语言
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
陕西师范大学学报(自然科学版)
双月刊
1672-4291
61-1071/N
大16开
陕西省西安市长安南路
52-109
1960
chi
出版文献量(篇)
3025
总下载数(次)
7
总被引数(次)
18459
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导