Text this: Diseño e implementación de un lenguaje para modelar autómatas determinísticos finitos