added HOW TO for arithmeticexpressionDFA