refactoring and added the arithmeticExpressionDFA