@neauoire any example of such an automaton?