Santini, Larissa, Maurilio M. Campano Junior, Alan Salvany Felinto, and Linnyer B. Ruiz Aylon. " Games in the teaching of formal languages ​​and automatons: a systematic mapping." Companion Proceedings of the 21st Brazilian Symposium on Games and Digital Entertainment, Natal/RN, 2022. SBC, 2022, pp.886-895.