TY - BOOK AU - Ito, Masami TI - Algebraic theory of automata and languages SN - 9810247273 CY - River Edge, N.J. KW - Formal languages KW - Machine theory ER -