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)
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 aim of this paper is to introduce several kinds of products of Mealy-type rough finite state machines (a rough finite-state machine with output). We establish the relationship among such products through coverings and investigate some algebraic properties of these products.
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.