scispace - formally typeset
Search or ask a question
Author

Gustav Feichtinger

Bio: Gustav Feichtinger is an academic researcher from IBM. The author has contributed to research in topics: Automorphism & Inner automorphism. The author has an hindex of 1, co-authored 1 publications receiving 11 citations.

Papers
More filters
Journal ArticleDOI
Gustav Feichtinger1
TL;DR: The structure of automata is investigated using the concept of the automorphism group and the investigations about strongly connected automata are extended to cyclic (Oehmke) and normal automata.
Abstract: In this paper the structure of automata is investigated using the concept of the automorphism group. The investigations about strongly connected automata are extended to cyclic (Oehmke) and normal automata. The set of states is divided into equivalence classes of strongly connected subsets (SCEC). In the set of all SCEC we explain a partial ordering whose minimal elements are called sourceclasses. If there is only one source-classe, the automaton is called cyclic. If each automorphism maps every SCEC onto itself, then the automaton is said to be normal. We generalize some results ofA. Fleck [1]. In some cases we restrict ourselves to Abelian automata.

11 citations


Cited by
More filters
Journal ArticleDOI
TL;DR: It is proved that Hd forms a polyadic semigroup, while Gd forms the largest input-independent partition on the set of internal states of A and the upper bound for the cardinality of Gd is given.
Abstract: The properties of endomorphisms and automorphisms of a finite, deterministic automatonA related to the smallest input-independent partition on the set of internal states ofA are investigated. The setH d of all thed-endomorphisms ofA defined here, as well as the setG d of all thed-automorphisms ofA, are studied in detail. It is proved thatH d forms a polyadic semigroup, whileG d forms a polyadic group. Connections betweenG d and the groupG(A) of all the automorphisms ofA are examined. The upper bound for the cardinality ofG d is given. Finally, by means of the theory ofd-automorphisms, some problems of the theory of strictly periodic automata are solved; in the first place, the necessary and sufficient condition for the reducibility of an arbitrary strictly periodic automation is given.

8 citations

Journal ArticleDOI
TL;DR: The problem of finding nontrivial periodic representations of A is solved here by the well-known methods of input-independent partitions on the set of internal states of A and by the operation of the (τ, T) numeration introduced here.
Abstract: This paper deals with the problem of finding nontrivial periodic representations, with not necessarily null transient duration, of deterministic sequential machines. The well-known results in this area, based on means of d-equivalence partitions or regular d-partitions on the set of internal states of a sequential machine A, are generalized. Apart from this, the problem of finding nontrivial periodic representations of A is solved here by the well-known methods of input-independent partitions on the set of internal states of A and by the operation of the (τ, T) numeration introduced here.

5 citations

Journal ArticleDOI
TL;DR: For strongly connected automata, whose automorphism group has a direct productH×L as subgroup, it is proved that the quotient group of this Automorphism subgroup moduloH is isomorphic to a automorphist group of the quotients automaton modulo H.
Abstract: Jeder UntergruppeH der Automorphismengruppe eines Automaten kann der Quotientenautomat nachH zugeordnet werden, wenn man die Transitivitatsklassen bezuglichH als dessen innere Zustande definiert. Fur starke Automaten, deren Automorphismengruppe ein direktes ProduktH×L als Untergruppe besitzt, wird bewiesen, das die Faktorgruppe der Automorphismenuntergruppe nach einem FaktorH isomorph ist zu einer Automorphismengruppe des Quotientenautomaten moduloH.

5 citations

Journal ArticleDOI
TL;DR: Relationships between the group, Aut(M), of automorphisms of a linear automaton M and the structure of M are determined and conditions are determined as to when Aut( M) contains only linear transformations.

4 citations