论文部分内容阅读
量子程序设计语言是用于书写量子程序的语言，自1996年出现以来，颇受业界重视，它已经成为量子计算领域研究热点之一。 本文在明确研究宗旨、简述几种有代表性的量子程序设计语言之后，着重介绍南京大学计算机软件研究所所开发的NDQJava语言和NDQFP语言，以及作者自行设计的一种结构化量子程序设计语言NDQJava-2。 NDQJava-2在NDQJava的基础上增添了量子条件语句、量子循环语句、量子子程序、量子模块以及量子异常处理机制等量子成分，它是一种结构化的量子程序设计语言，文中给出了NDQJava-2语言的形式语法和非形式语义。书写量子程序的实践表明，NDQJava-2是一种比NDQJava更为实用、更为易读，其成分设定更为合适的量子程序设计语言。