Computation and automata. - Cambridge University Press, 1985. - ( Encyclopedia of Mathematics and its Appl. /CUP ; 25).