Automata theory and its applications - Khoussainov, Bakhadyr (Birkhuser, 2001)