Automata theory and its applications / Bakhadyr Khoussainov, Anil Nerode. - Khoussainov, Bakhadyr, 1961-; Nerode, Anil, 1932- (Progress in computer science and applied logic ;, 2001)