J. Mioni and C. Barbosa. " Tools for learning formal languages ​​and automatons", in Companion Proceedings of the 21st Brazilian Symposium on Games and Digital Entertainment, Natal/RN, 2022, pp. 969-978, doi: https://doi.org/10.5753/sbgames_estendido.2022.226108.