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