Automata and languages : theory and applications - Meduna, Alexander (Springer, 2000)