Knowledge-based systems to enhance learning: A case study on formal languages and automata theory | Publicación