All parameters that should be passed to DFA are included in DFA
constructor, still need to change transition from string to char