'State' and 'Automaton' added to implement DFA
PostfixToAutomaton parse a postfix expression to a DFA