update ExpressionAutomaton