Teaching Formal Languages by an Intelligent Tutoring System.
John K. Debenham
Vladan Devedzic
Automata Defense 2.0: reedição de um jogo educacional para apoio em Linguagens Formais e Autômatos