Mioni, J., & Barbosa, C. 2022 Oct 24. Tools for learning formal languages ​​and automatons. Companion Proceedings of the Brazilian Symposium on Computer Games and Digital Entertainment (SBGames). [Online] :