A topology for automata. II (Q1083856)
From MaRDI portal
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
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