AUTOMATA CASE STUDY