Talk:Permutation automaton