April 2024
Intermediate to advanced
400 pages
21h 1m
English
In this chapter, we introduce one of the simplest quantum programming languages, namely quantum while-language, as an quantum extension of the classical while-language. Its syntax and semantics are formally defined. Examples are provided to show how some quantum algorithms can be properly programmed in it. At the end of the chapter, we further extend quantum while-language to include recursion (with classical controls).
Quantum while-language; Quantum variables; Classical variables; Syntax; Operational semantics; Denotational semantics; Loops; Recursion
In Chapter 4, several quantum algorithms were presented at the very low-level model of quantum computing – quantum circuits. How can we design and ...