TY - BOOK AU - Trakhtenbrot, B. A. TI - Finite automata: behavior and synthesis SN - 0720480213 U1 - 511.3 PY - 1973/// CY - Amsterdam PB - North-Holland Pub. KW - Sequential machine theory N1 - Translation of Konechnye avtomaty ER -