thompson automata