Gidayu: Visualizing Automaton and Their Computations. - Tiago Cogumbreiro; Gregory Blike (ITiCSE (1), 2022)