Computation and automata /
Salomaa, Arto.
Cambridge : Cambridge University Press,
1985.
Includes bibliography and index.
Computable functions.
Computational complexity.
Sequential machine theory.