Quantum Computing pp 29-47 | Cite as

# Devices for Computation

## Abstract

To study computational processes, we have to fix a computational device first. In this chapter, we study Turing machines and circuits as models of computation. We use the standard notations of formal language theory and represent these notations briefly now. An *alphabet* is any set *A*. The elements of an alphabet *A* are called *letters*. The *concatenation* of sets *A* and *B* is a set *AB* consisting of strings formed of any element of *A* followed by any element of *B*. Especially, *A* ^{ k } is the set of strings of length *k* over *A*. These strings are also called *words*. The concatenation *w* _{1} *w* _{2} of words *w* _{1} and *w* _{2} is just the word *w* _{1} followed by *w* _{2}. The *length* of word *w* is denoted by |*w*| or *ℓ*(w) and defined as the number of the letters that constitute *w*. We also define *A* ^{0} as the set that contains only the *empty word* *∈* that has no letters, and *A** = *A* ^{0} ∪ *A* ^{l} ∪ *A* ^{2} ∪... is the set of all words over *A*. Mathematically speaking, *A** is the free monoid generated by the elements of *A*, having the concatenation as the monoid operation and *∈* as the unit element.

## Keywords

Turing Machine Quantum Circuit Quantum Gate Toffoli Gate Boolean Circuit## Preview

Unable to display preview. Download preview PDF.