Myhill Chart - Deterministic Finite Automaton Wikipedia