Computation and automata - Salomaa, Arto (Encyclopedia of mathematics and its applications, 1985)