期刊文献+

NDQJava语言词法分析程序 被引量:2

Lexical analyzer of NDQJava language
下载PDF
导出
摘要 随着计算机硬件的发展,电子元件的功能即将受到量子效应的影响.对量子计算和量子计算机的研究迫在眉睫.Shor(JournalofComputing,1994,26:1484-1509)提出的大数质因子分解算法,向人们展示量子计算诱人的潜力.为验证量子算法正确性、通用量子计算机的可行性以及帮助理解量子力学中诸多问题,南京大学量子计算与量子信息研究组于2006年春设计了一种量子程序设计语言——NDQJava,并于同年夏在经典计算机上模拟实现了NDQJava的处理系统.此处理系统遵循编译一解释的途径,由词法分析程序、语法分析与代码转换程序、量子汇编与解释程序三部分组成.作为处理系统的第一部分,词法分析程序须将能够正确分析源程序并给出结构明确的单词属性字序列,它的设计实现遵循了简明、易用两条准则.本文着重介绍词法分析程序,较为详细地讨论了其设计与实现过程,并讨论了其主要优缺点. With the development of computer hardware, the functions of electronic components will soon be affected by the quantum effect. So the research on quantum computing and quantum computer stares us in the face. The algorithm for dividing a large integer into prime factors presented by Shor(Journal of Computing, 1994, 26: 1484-1509), shows us the charming potential of quantum computing. For validating quantum algorithms, checking the feasibility to build a universal quantum computer and helping to understand many problems in quantum mechanics, the QCI (Quantum Computing and Quantum Information) Group of Nanjing University designed a quantum programming language: NDOJava in the spring of 2006, and implemented the NDOJava processing system by simulation on the classical computer in the summer of that year. This processing system follows a compilationinterpretation approach. The compiler of NDOJava, which includes lexical analyzer and syntactic analyzer and code transformer, compiles NDOJava source code into Java Byte-Code. Then the interpreter of NDQIava, which includes quantum assembler, quantum interpreter, and Java interpreter, interprets the Java Byte-Code on runtime and gives the running result. As the first step of NDQJava processing system, lexical analyzer must analyze the NI)QJava source program correctly and output the middle-code whose structure is definitely given. While designing and implementing we consider two rules: simplicity use-friendly. This paper introduces the lexical analyzer, and discusses its design and implementation in detail. We also sum up both the advantages and disadvantages of this lexical analyzer in the end.
出处 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第2期116-122,共7页 Journal of Nanjing University(Natural Science)
基金 江苏省自然科学基金(BK2007138)
关键词 量子计算 程序设计语言 处理系统 词法分析 quantum computation, programming language, processing system, lexical analysis
  • 相关文献

参考文献12

  • 1徐家福,宋方敏,钱士钧,戴静安,张云洁.量子程序设计语言NDQJava[J].软件学报,2008,19(1):1-8. 被引量:13
  • 2焦阳,吴楠,宋方敏.NDQJava语言处理系统量子汇编及解释程序[J].南京大学学报(自然科学版),2008,44(2):107-115. 被引量:4
  • 3宋方敏,钱士钧,戴静安,张云洁,徐家福.量子程序设计语言NDQJava处理系统[J].软件学报,2008,19(1):9-16. 被引量:10
  • 4Alfred V A, Ravi S, Jeffery D U. Compilers: Principles, techniques, and tools. The Second Edition. Pearson Education, 2001, 38-72.
  • 5David G. Compiler construction for digital computers. John Wiley & Sons, Inc, 1971, 168-201.
  • 6Shor P. Polynomial time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM(Society for Industrial and Applied Mathematics). Journal on Computing, 1997, 26: 1484-1509.
  • 7Lov K G. A fast quantum mechanical algorithm for database search. Gary L M. Proceedings of the twenty-eighth annual ACM symposium on Theory of computing. New York: ACM Press, 1996, 212-219.
  • 8Knill E, Laflamme R, Milburn G J. A scheme for efficient quantum computation with linear optics. Nature, 2001,409(6816):46-52.
  • 9Baker G. Qgol: A system for simulating quantum computations. Theory, implementation and insight. Honors Degree Thesis, Macquarie University, 1996.
  • 10Omer B. Structured quantum programming. Ph. D. Thesis. Institute for Theoretical Physics, Technical University of Vienna, 2003.

二级参考文献30

  • 1Shor PW. Algorithms for quantum computation: Discrete logarithms and factoring. In: Proc. of the 35th Annual Symp. on the Foundations of Computer Science. Santa: IEEE Computer Society Press, 1994. 124-134.
  • 2Grover LK. A fast quantum mechanical algorithm for database search. In: Proc. of the 28th Annual ACM Symp. on the Theory of Computing. ACM Press, 1996. 212-219.
  • 3Knill EH. Conventions for quantum pseudocode. LANL Report, LAUR-96-2724, 1996.
  • 4Baker GD. "Qgol": A system for simulating quantum computations: Theory, implementation and insights [Honours Degree Thesis]. Macquarie University, 1996.
  • 5Omer B. A procedural formalism for quantum computing [MS. Thesis]. Vienna: Technical University of Vienna, 1998.
  • 6Zuliani P. Quantum programming [Ph.D. Thesis]. Oxford: University of Oxford, 2001.
  • 7Altenkirch T, Grattage J. QML: Quantum Data and Control. 2005. http://www.cs.nott.ac.uk/-txa/publ/jqpl.pdf
  • 8Xu JF, Song FM, Qian SJ, Dai JA, Zhang YJ. Quantum programming language NDQJava. Journal of Software, 2008,19(1):1-8 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/19/1.htm
  • 9Feynman R. Simulating physics with computers. Int'l Journal of Theoretical Physics, 1982,21(6):467-488.
  • 10Deutsch D. Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. of the Royal Society A, 1985,400(1818):97-11.

共引文献14

同被引文献18

  • 1Feynman R Feynrnan lectures on computation. Massachusetts: Addison-Wesley, 1996,121-134.
  • 2Selinger P. Towards a quantum programming language. Mathematical Structure in Computer Science, 2004, 14(4): 527-586.
  • 3Zuliani P. Compiling quantum programs. Acta Informatica, 2005, 41(7): 435-473.
  • 4Shor P. Polynomial time algorithms for prime factorization and discrete logarithms on a quantum computer. Journal on Computing, 1997, 26: 1484-1509.
  • 5Deutsch D, Jozsa R. Rapid solution of problems by quantum computation. Sir Michael Berry FRS. Proceedings of Royal Society A, 1992, 553-558.
  • 6Lov K G. A fast quantum mechanical algorithm for database search. Gary L M. Proceedings of the Twenty-eighth Annual ACM Symposium on Theory of Computing. New York: ACM Press, 1996,212-219.
  • 7Tegmark M, Wheeler J A. 100 years of quantum mysteries. Scientific American, 2001, 284 (3): 68-75.
  • 8Zeilinger A. The quantum centennial. Nature, 2000, 408(2): 639-641.
  • 9Kleppner D, Jackiw R. One hundred years of quantum physics. Science, 2000, 289 (3): 893-898.
  • 10Chen Huowang, Liu Chunlin, Tan Qingping. The programming language: compiler theory[M]. Beijing: National Defense Industry Press, 2000: 98-126.

引证文献2

二级引证文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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