Khoussainov, Bakhadyr Anil Nerode creator text New Dehli Brikhauser 2010 monographic xiv, 430 p. : ill. ; 23 cm. Includes Bibliography and index Automata theory Mathematics Basic notation Finite automata Finite graphs Rabin automata Applications Decidability Math 511.3 KHO 9788184896619 (PBK)