experimental automata detection