Describir: Automata and theoretical computer science