Automata theory and its applications, Bakhadyr Khoussainov, Anil Nerode