Permutation automata