Permutation automaton

From Wikipedia, the free encyclopedia

A permutation automaton (or p-automaton) is an automaton such that each input permutes the set of states. In other words, a permutation automaton is a reset-free deterministic finite automaton.

A language is p-regular if it is accepted by a permutation automaton.