TY - BOOK AU - Carroll, John AU - Long, Darrell TI - Theory of finite automata: with an introcuction to formal languages U1 - 511 C236T ER -