Journal ArticleDOI
The Structure of an Automaton and Its Operation-Preserving Transformation Group
Reads0
Chats0
TLDR
The main result shows the group of operation-preserving transformations of a strongly connected au tomaton onto itself is isomorphic to a group of subsets of input sequences under a certain operation.Abstract:
This paper is mot iva ted by Fleck's s tudy [1] on certain classes of structurepreserving, nontrivial t ransformations of au tomata . In tha t paper the class of those transformations which preserve \"strongly-connectedness\" is completely characterized. An interesting subclass, the class of operation-preserving functions (which are essentially homomorphisms) is introduced there. Fleck showed tha t the set of all operation-preserving functions of an au tomaton A onto itself constitutes a group G(A). In [2] some of the properties of G(A) when A is strongly connected were studied. I t was shown in the lat ter paper tha t corresponding to every finite group G of regular permutat ions there is a strongly connected automaton A for which G = G(A). Since, in fact, the group G(A) determines the structure of A, it would appear tha t the structure of G(A) and of A should be related. The present paper investigates tha t relationship. The main result shows tha t the group of operation-preserving transformations of a strongly connected au tomaton onto itself is isomorphic to a group of subsets of input sequences under a certain operation.read more
Citations
More filters
Journal ArticleDOI
Isomorphism Groups of Automata
TL;DR: For a certain class of automata a necessary and sufficient condition, in terms of the group of the automaton, is given for insuring that an automaton can be represented as a direct product.
Journal ArticleDOI
Structure and Transition-Preserving Functions of Finite Automata
TL;DR: Arbitrary finite automata are decomposed into their major substructures, the primaries, and various characterizations of these transition-preserving functions on singly generated Automata are presented and are used as a basis for the reduction.
Journal ArticleDOI
Automorphisms of Polyadic Automata
TL;DR: The results of an investigation of relationships concerning the group of automorphisms, the polyadic group of defined polyadic automata and the structure of thepolyadic automation and the ordinary automata associated and with thePolyadic automaton are presented.
Journal ArticleDOI
The cartesian composition of automata
TL;DR: This paper introduces a new product called the cartesian composition and discusses how various properties of the product automaton depend on the corresponding properties ofThe factors.
Journal ArticleDOI
Group-Type Automata
TL;DR: The purpose is to investigate the input structure of automata which have a group-like character and the class of perfect automata investigated by Fleck and Weeg is a proper subclass of those considered here.
References
More filters
Book
The theory of groups
TL;DR: The theory of normal subgroups and homomorphisms was introduced in this article, along with the theory of $p$-groups regular $p-groups and their relation to abelian groups.
Journal ArticleDOI
Finite automata and their decision problems
Michael O. Rabin,Dana Scott +1 more
TL;DR: Finite automata are considered as instruments for classifying finite tapes as well as generalizations of the notion of an automaton are introduced and their relation to the classical automata is determined.