Graphical representation and rules of DFA