Describir: Applied automata theory /