work toward ExpresionAutomaton