ElementaryAutomaton work