Devices for Computation

  • Mika Hirvensalo
Part of the Natural Computing Series book series (NCS)


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 0A lA 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.


Turing Machine Quantum Circuit Quantum Gate Toffoli Gate Boolean Circuit 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Mika Hirvensalo
    • 1
  1. 1.Department of MathematicsUniversity of TurkuTurkuFinland

Personalised recommendations