A classroom experiment for teaching automata. - Mohamed Hamada 001; Kazuhiko Shiina (ITiCSE, 2004)