The purpose of this paper is towards the algebraic study of rough finite state machines, i.e., to introduce the concept of homomor-phisms between two rough finite state machines, to associate a rough transformation semigroup with a rough finite state machine and to introduce the concept of coverings of rough finite state machines as well as rough… (More)
The concepts of fuzzy source and fuzzy successor operators for an L-fuzzy automaton (L is a lattice-ordered monoid) are introduced, which turn out to be L-fuzzy closure operators. When L is a quantale, these operators introduce L-fuzzy topologies. These observations are then used to give topological characterization of the separatedness and connectedness… (More)
It is shown that the concepts of definite (possible) source and definite (possible) successor give rise to two topologies on the state-set of a rough automaton. Further, we show that the connectivity and separation properties of such rough automaton can be discussed in terms of these topologies.