Computation and automata - Salomaa, Arto (1985)