Text this: Desarrollo de un entrenador para máquinas de estados basado en el esquema eventos, estados y acciones