documentation review
minor automaton DSL improvement