Abstract

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 Bavel [1] 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. Included also is an observation showing that our topological considerations can help recover some of the results of Dörfler [2].