Describir: Language and Automata Theory and Applications