AUTOMATA CASE STUDY
Start