TY - BOOK AU - Arbib,Michael A. AU - Kfoury,A.J. AU - Moll,Robert N. TI - A Basis for theoretical computer science SN - 0387905731 AV - QA267 A73 1981 PY - 1981/// CY - New York, NY.: PB - Springer-Verlag, KW - Lenguajes formales KW - LEMB KW - Teoría de las maquinas N1 - Incluye índice ER -