Describir: Implementation and Application of Automata