期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于量子逻辑的l-值正则语言的广义泵引理 被引量：1

Generalized Pumping Lemma for Regular Languages Based on Quantum Logic
下载PDF
导出
摘要 给出了三个l-值正则语言的广义泵引理,是文献[5]中泵引理的推广,可以解决更广泛的l-值正则语言的判定问题. The paper introduces a generalized pumping lemmata for regular languages based on quantum logic which furnish eleganter technique than common pumping lemma for showing that certain languages are not regular.
作者 何洪涛 汤建钢
机构地区 伊犁师范学院数学系
出处 《伊犁师范学院学报（自然科学版）》 2011年第2期1-4,共4页 Journal of Yili Normal University：Natural Science Edition
基金 伊犁师范学院2009年度大学生科研计划课题(2009SX11)
关键词 l-值有限自动机 l-值正则语言 l-值语言的泵引理 finite automata regular languages pumping lemma
分类号 TP301.1 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献5

  • 1Shor PW. Polynomial-Time algorithms for prime factorization and discrete algorithms on a quantum computer[J]. SIAM Journal on Computing, 1997, 26(5): 1484-1509. 被引量：1
  • 2Park.P, Pulmannova.S,. Orthomodular Structures as Quantum Logics [M]. Dordrecht: Kluwer Academic Publishers, 1991. 被引量：1
  • 3Ying MS. Automata theory based on quantum logic(I)[J]. International Journal of Theoretical Physics, 2000, 39(4): 981-991. 被引量：1
  • 4Ying MS. Automata theory based on quantum logic(Ⅱ) [J]. International Journal of Theoretical Physics, 2000, 39(11): 2545-2557. 被引量：1
  • 5邱道文.基于量子逻辑的自动机和文法理论[J].软件学报,2003,14(1):23-27. 被引量：13

二级参考文献15

  • 1[1]Benioff P. The computer as a physical system: a microsopic quantum mechanical Hamiltonian model of computers as represented by Turing machines. Physical Review Letters, 1982,48(23):1581～1585. 被引量：1
  • 2[2]Feynman RP. Simulating physics with computers. International Journal of Theoretical Physics, 1986,21(6-7):467～488. 被引量：1
  • 3[3]Feynman RP. Quantum mechanical computers. Foundation of Physics, 1986,16(6):507～531. 被引量：1
  • 4[4]Deutsh D. Quantum theory, the Church-Turing principle and the universal quantum computer. Proceedings of the Royal Society of London A, 1985,400(1818):97～117. 被引量：1
  • 5[5]Shor PW. Polynomial-Time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Journal on Computing, 1997,26(5):1484～1509. 被引量：1
  • 6[6]Grover L. Quantum mechanics helps in searching for a needle in a haystack. Physical Review Letters, 1997,79(2):326～328. 被引量：1
  • 7[7]Lloyd S. A potentially realizable quantum computer. Science, 1993,261(5128):1569～1571. 被引量：1
  • 8[8]Cirac JI, Zoller P. Quantum computations with cold trapped ions. Physical Review Letters, 1995,74(20):4091～4094. 被引量：1
  • 9[9]Moore C, Crutchfield JP. Quantum automata and quantum grammars. Theoretical Computer Science, 2000,237(1-2):275～306. 被引量：1
  • 10[10]Gudder S. Basic Properties of Quantum Automata. Foundation of Physics, 2000,30(2):301～319. 被引量：1

共引文献12

同被引文献5

引证文献1

伊犁师范学院学报（自然科学版）
2011年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部