Deterministic Finite Automata : Definition - edufulness