In automata theory, a permutation automaton, or pure-group automaton, is a deterministic finite automaton such that each input symbol permutes the set of states.[1][2]
Formally, a deterministic finite automaton A may be defined by the tuple (Q, Σ, δ, q0, F),
where Q is the set of states of the automaton, Σ is the set of input symbols, δ is the transition function that takes a state q and an input symbol x to a new state δ(q,x), q0 is the initial state of the automaton, and F is the set of accepting states (also: final states) of the automaton. A is a permutation automaton if and only if, for every two distinct states qi and qj in Q and every input symbol x in Σ, δ(qi,x) ≠ δ(qj,x).
A formal language is p-regular (also: a pure-group language) if it is accepted by a permutation automaton. For example, the set of strings of even length forms a p-regular language: it may be accepted by a permutation automaton with two states in which every transition replaces one state by the other.
^McNaughton, Robert (August 1967), "The loop complexity of pure-group events", Information and Control, 11 (1–2): 167–176, doi:10.1016/S0019-9958(67)90481-0
^Thierrin, Gabriel (March 1968). "Permutation automata". Theory of Computing Systems. 2 (1): 83–90. doi:10.1007/BF01691347.
and 24 Related for: Permutation automaton information
In automata theory, a permutationautomaton, or pure-group automaton, is a deterministic finite automaton such that each input symbol permutes the set...
Permutation City is a 1994 science-fiction novel by Greg Egan that explores many concepts, including quantum ontology, through various philosophical aspects...
A reversible cellular automaton is a cellular automaton in which every configuration has a unique predecessor. That is, it is a regular grid of cells...
transformation (or composition) monoid. This is the semigroup analogue of a permutation group. A transformation semigroup of a set has a tautological semigroup...
to this model as the Abelian sandpile model. The model is a cellular automaton. In its original formulation, each site on a finite grid has an associated...
Automaton Olympia's Cabinet of Curiosities (1996). This series is a video installation recording the index of decorations belonging to an automaton,...
every possible permutation of a specified character set is called a superpermutation. Brace notation Substring index Suffix automaton Lothaire, M. (1997)...
If they aren't beautiful, nothing is". Argument from beauty Cellular automaton Descriptive science Fluency heuristic Golden ratio Mathematics and architecture...
Turing completeness. Olmstead believed Malbolge to be a linear bounded automaton. There's a discussion about whether one can implement sensible loops in...
is a rewriting network, and not a cellular automaton, as Wolfram himself has suggested a cellular automaton cannot account for relativistic features such...
trees.: 358 A trie can be seen as a tree-shaped deterministic finite automaton. Tries support various operations: insertion, deletion, and lookup of...
back to the 1960s, states that the entire universe is a huge cellular automaton which continuously updates its rules. Recently it has been suggested that...
includes the Autoverse, an artificial life simulator based on a cellular automaton complex enough to represent the substratum of an artificial chemistry...
not always find the shortest possible synchronizing word for a given automaton; as Eppstein also shows, the problem of finding the shortest synchronizing...
have included guitarist Buckethead, but they have explored different permutations on albums. Laswell got his earliest professional experience as a bass...
the (asymptotical) stability of motion? Is every reversible cellular automaton in three or more dimensions locally reversible? Sudoku: How many puzzles...
four-way set associative. Effectively, the hardware maintains a simple permutation from virtual address to cache index, so that no content-addressable memory...
Sanders Peirce. permutation The structural rule that allows one to exchange two formulas that are on the same side of the arrow. permutation invariant A property...
temporal logic can be transformed into a Büchi automaton (see also Linear temporal logic to Büchi automaton). The system is instrumented to send events concerning...
the duplicate knot type in Little's 1899 table of 10-crossing knots. Permutation groups have nice visualizations of their elements that assist in explaining...