AUTOMATA PROJECT
17 following