TY - BOOK AU - Salomaa, Arto TI - COMPUTATION AND AUTOMATA U1 - 511 PY - 1985/// CY - Cambridge PB - Cambridge Univ. Pr. KW - Computable Functions KW - Computational Complexity KW - Sequential Machine Theory ER -