A topology for automata. II (Q1083856)

From MaRDI portal
Revision as of 09:50, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
A topology for automata. II
scientific article

    Statements

    A topology for automata. II (English)
    0 references
    0 references
    0 references
    1986
    0 references
    [For Part I see Inf. Control 32, 163-168 (1976; Zbl 0338.94028).] A topology on the state set of an automaton is considered and it is shown that under this topology, genetically closed subsets and primaries, in the sense of \textit{Z. Bavel} [Proc. 8th Ann. Symp. Switching Automata Theory, 1967, 322-335 (1967)], turn out to be precisely the regular closed subsets and minimal regular closed subsets, respectively. The concept of a compact automaton is introduced and it is indicated that it can be viewed as a generalization of a finite automaton. Also included is an observation showing that our topological considerations can help recover some of the results of \textit{W. Dörfler} [Lect. Notes Comput. Sci. 45, 270-276 (1976; Zbl 0336.94032)].
    0 references
    topological automata
    0 references
    regular closed subsets
    0 references
    compact automaton
    0 references

    Identifiers