All source code from CS317: Automata and Formal Languages