Text this: Ambiente visual para el aprendizaje de sistemas formales