Started implementing finite automata
Added automaton determinization