A collection of tools for making automata theory and formal languages come alive.
Susan H. Rodger, Anna O. Bilska, Kenneth H. Leider, Cecilia Magdalena Procopiuc, Octavian Procopiuc, Jason R. Salemme, Edwin Tsang
Browse the full SIGCSE paper archive.