Shambhu Sharan
Department of Applied Mathematics Indian School of Mines Dhanbad-826004, India shambhupuremaths@gmail.com
Abstract: 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. Keywords: rough automaton; subautomata; successor; separability; ; retrievability. source;
Definition 2.2: [10] Let ( X , R) be an approximation space and [ x]R be the equivalence class of x under R. Then lower approximation and upper approximation of A X are, respectively, defined to be the sets A = {x X : [ x]R A} , and
A = {x X :[ x]R A } .
For an approximation space ( X , R ), A X is called a definable set if it is an union of equivalence classes under R and a pair ( L,U ) of definable sets is called a rough set in ( X , R ), if L U , and if any equivalence class of x is a singleton set {x} such that {x} U , then {x} L .
I.
INTRODUCTION
In [3] and [4], Shukla and Srivastava were demonstrated that several known topological concepts and ideas can often be used in automata theory to obtain certain results therein, pertaining particularly to their connectivity and separation properties. In [5] and [6], Srivastava and Tiwari mainly use these ideas for the study of fuzzy automata and intuitionistic fuzzy automata. Following the introduction of rough sets by Pawlak [2], Basu [1] has recently introduced the concept of rough finite state automata and tried to design a recognizer that accepts imprecise statements. Tiwari, Srivastava and Sharan [7], discussed the properties such as separatedness, connectedness and retrievability of a rough finite state automaton and introduced the concept of product of two rough finite state automata. In [8], Tiwari and Sharan recently introduced the concept of homomorphism, transformation semigroups and coverings for rough finite state automaton. In this paper, by using the idea from [3] and [4], it is shown that the concepts of definite (possible) source and definite (possible) successor give rise to two topologies on the state-sets of rough automaton (a concept almost identical to rough finite state automaton) introduced in [1] and many properties of such automata can be conveniently described in terms of these topologies. II. PRELIMINARIES
Definition 2.3: [1] A rough automaton is a 4-tuple M = (Q, R, X , ), where Q is a nonempty set (the set of states of M), R is a given equivalence relation on Q, X is a nonempty finite set (the set of inputs) and is a map : Q X D D. D being the collection of all definable
sets
in
the
approximation
space
a rough set with D1 = A and D2 = A, for some A Q. If (q, a) = ( D1 , D2 ) with D1 = A and D2 = A, then by the abuse of notation, we identify A as (q, a ); thus
D1 = (q, a )
and
D2 = (q, a ),
i.e.,
In this section, we recall some concepts associated with a rough automaton and collect some results, which we need in the subsequent sections. We begin with the following concept of approximation space. Definition 2.1: [10] A pair ( X , R) is called an approximation space, where X is a nonempty set and R is an equivalence relation on X .
strings) including the empty word (which we shall denote by e). Definition 2.5: [1] Let M = (Q, R, X , ) be a rough automaton. Define * : Q X * D D as follows:
i) q Q, * (q, e) = ([q]R , [q]R ) where [q]R is the equivalence class of q under R, and x X * \ {e},
q Q, (q, e) = ([q ]R ,[q ]R ), where [q ]R is the equivalence class of q under R, and x X \ {e}, (q, x) = ([q]R , x), e being the identity of X and
ii) q Q and x, y X ,
(q, xy ) =
( (q, xy ),
(q, xy )),
where
* (q, xa) =
is
block under R and B * (q, x)}. Definition 2.8: [1] Let (Q, R, X , ) be a rough automaton and A Q. Then the definite successor and possible successor of A are respectively the sets D( A) = { p Q : p (q, x), for some (q, x) A X } and
is a
( B, x) = U{ ( q, x) : q B}, ( B, x) = U{ (q, x) : q B}
and for a definable set D, * ( D, x) = U{ * ( B, x) : B is a block of R and B D}, * ( D, x) = U{ * ( B, x ) : B is a block of R and B D} . In [1], it is shown that the transition function of a rough automaton (Q, R, X , ) can be recursively extended to a function : Q X D D as follows: 1) q Q, * (q, e) = ([q ]R , [q ]R ) where [q ]R is the equivalence class of q under R, and x X * \ {e},
* *
* (q, xy )),
where
and D '( A B) D( A B) D( A) D( B) D '( A) D '( B ) ; vi) P( A B) P( A) P( B) and P '( A B) P '( A) P '( B) ; vii) D( D ( A)) = D ( A) and D '( D '( A)) = D '( A) ; viii) P ( P( A)) = P( A) and P '( P '( A)) = P '( A) .
v) Definition 2.10: [7] A rough automaton (Q ', R ', X , ') is called definite rough subautomaton (resp. possible rough subautomaton) of a rough automaton (Q, R, X , ) if Q ' Q, D(Q ') = Q ' , R ' = R / Q ' and ' = / Q ' X (resp. Q ' Q, P(Q ') = Q ' , R ' = R / Q ' and ' = / Q ' X ).
Definition 2.11: [7] A definite rough subautomaton (resp. possible rough subautomaton) (Q ', R ', X , ') of (Q, R, X , ) is called definite separated subautomaton (resp.
(ii) Let { AJ : j J } be a family of T (Q) -closed subset of Q and let A = { AJ : j J } . Now, r P '( A) s (r , y ) , for some ( s, y ) A X . As s A, s AJ , for some j J . But s P '( AJ ) = AJ P '( s) P '( P '( AJ )) = P '( AJ ) . Thus r P '( AJ ) = AJ A, whereby P '( A) A, with the fact that A P '( A), showing that A is T (Q ) -closed. The saturatedness of T * (Q) can be given similarly. (iii) Let A Q be T (Q) -open. Then P '(Q A) = Q A, . Now, whereby A = Q P '(Q A)
possible separated subautomaton) if D(Q \ Q ') Q ' = (resp. P(Q \ Q ') Q ' = ).
Definition 2.12: [7] A rough automaton (Q, R, X , ) is called 1) definite strongly connected (resp. possible strongly connected) if (resp. p, q Q, p D(q ) p P (q ) ). 2) definite connected (resp. possible connected) if M has no proper definite separated (resp. possible separated) rough subautomaton. 3) definite retrievable (resp. possible retrievable) if p, q Q, p D(q), then q D( p) (resp. if
q P( A) q ( p, x), for some ( p, x) A X . But p A p P '(Q A), whereby q P '(Q A) (since q ( p, x) ), i.e., q A . Thus P ( A) A,
let A Q be T * (Q ) -closed. Then P ( A) whereby
p P(q), then q P( p) ).
Proposition 2.2: [7] A rough automaton M = (Q, R, X , ) is definite (possible) strongly connected if and only if M has no proper definite (possible) rough subautomaton.
= A . Also,
some
for
PQ A p A =
P( A) p (r , y ), (r , y ) A X q A, whereby q Q A. Thus P '(Q A) Q A and so P '(Q A) = Q A, implying that A is T (Q) -open. M = (Q, R, X , ) and N = (Q ', R ', X , ') be rough automata. Then i) N is possible rough subautomaton of M if and only if Q ' is T (Q) -open. ii) N is a possible separated subautomaton of M if and only if Q ' is T (Q) -clopen (i.e., T (Q) -open as well as T (Q) -closed).
Proposition 3.2:
III.
Let
We begin by observing that the concepts of definite source (resp. possible source) and definite successor (resp. possible successor) give rise to two topologies on the stateset of rough automaton. Further, we show that the connectivity and separation properties of a rough automaton can be discussed in terms of these topologies. In this section, we consider the case of possible source and possible successor. The same for definite source and definite successor can be given analogously.
Proposition 3.1: Let (Q, R, X , ) be a rough automaton. i) The possible source and possible successor, viewed as functions P ':2Q 2Q and P :2Q 2Q , turn out to be Kuratowski closure operators on Q, inducing two topologies on Q (which we shall respectively denote as T (Q) and T * (Q ) ). ii) Both the topologies T (Q) and T * (Q) are saturated (in the sense that they are closed under arbitrary intersections also). iii) The topologies T (Q) and T * (Q ) are dual in the
Proof: (i) This follows from Definition 2.10 of possible rough subautomaton and Proposition 3.1. (ii) N is a possible separated subautomaton of M if and only if P (Q ') = Q ' and P(Q Q ') = Q Q ' if and only if Q ' and Q Q ' are T (Q) -open if and only if Q ' is T (Q) open and T (Q) -closed if and only if Q ' is T (Q) -clopen. Before stating the next proposition, we first recall the following from [9].
Definition 3.1: A topological space ( X , T ) is called R0 if x, y X , x cl ( y ) y cl ( x) . Proposition 3.3: Let M = (Q, R, X , ) be a rough automaton. Then i) M is possible strongly connected if and only if T (Q) is an indiscrete topology. ii) M is possible connected if and only if T (Q ) is connected topology.
iii)
Proof: (i) As q Q, P(q) = Q . Thus T (Q) must be an indiscrete and conversely. (ii) M is possible connected if and only if M has no possible separated proper subautomaton if and only if Q and are the only T (Q) -clopen subsets of Q if and only if T (Q) is a connected topology. (iii) It follows from the fact that q Q, P( q) is just the closure of {q} under the topology T (Q) .
Proposition 3.4: Let M = (Q, R, X , ) be a rough automaton. Then i) M be possible connected if and only if for every proper possible rough subautomaton N = (Q ', R ', X , ') of M, r Q ' and q (Q A) , with P (r ) P (q ) . ii) M is possible retrievable if and only if for every possible rough subautomaton N = (Q ', R ', X , ')
its each points, the topology T (Q) is R0 . Thus M is possible retrievable. (iii) Let M be possible strongly connected. Then T (Q) is an indiscrete topology, i.e., Q has no proper open subsets. Thus M has no proper possible rough subautomaton. Conversely, let M has no proper possible rough subautomaton, i.e., Q has no proper open subsets. Then T (Q) is an indiscrete topology. Thus M is possible strongly connected. Proposition 3.5: Let M = (Q, R, X , ) be a rough automaton. Then the following statements are equivalent: i) M is possible strongly connected. ii) M is possible connected and possible retrievable. iii) Every possible rough subautomaton of M is possible strongly connected. Proof: (i ) (ii ) Let M be possible strongly connected so that the topology T (Q) is an indiscrete topology. As an indiscrete topology is obviously connected and R0 , M is possible connected and possible retrievable.
of M, P (Q ') = Q ' . iii) M is possible strongly connected if and only if M has no proper possible rough subautomaton. Proof: Let M be possible connected and N = (Q ', R ', X , ') be any proper possible rough subautomaton of M. Then the topology T (Q ) is connected and Q ' is a proper open subset of Q. Now as T (Q) is connected topology, Q ' cannot be a closed subset of Q (as it is already open), i.e., P(Q Q ') Q Q ', or that p P(Q Q ') such that Thus such that p P(Q Q ') p Q Q' .
p Q ' = P (Q '), whereby P(Q ') r Q ' and q Q Q ', with Conversely, let N = (Q ', R ', X , ') rough subautomaton of M such P(Q Q ') , or that P(r ) P(q) . be any proper possible that r Q ' and q Q Q ' , with P (r ) P (q ) . We need to show that the topology T (Q) is connected. For this it suffices to show
(ii) (iii) : Let M be possible connected and possible retrievable. Then the topology T (Q) is possible connected
and R0 . Also, let A be any nonempty T (Q ) -open subset of Q. Then as T (Q) is R0 , A contains the closure of its each point. Hence A is closed also. Thus A is T (Q) -clopen subset of Q. But as T (Q) is possible connected, A = Q . Thus Q is its only nonempty open subset, whereby the subspace topology on each nonempty open subset of Q is indiscrete. Hence every possible rough subautomaton of M is possible strongly connected. (iii ) (i ) : Let every possible rough subautomaton of M be possible strongly connected. Then each open subset of Q has indiscrete topology. Since, Q itself is open, its topology is also indiscrete. Hence M is possible strongly connected.
IV. CONCLUSIONS Chiefly inspired from [3, 4, 5], we tried to introduce the topologies on the state-set of a rough automaton and discussed its some properties in terms of these topologies. We have tried to introduce the topologies by using possible source and possible successor only. While the concept of definite source and definite successor also lead us to two topologies. It will be interesting to see the relationship between topologies introduce by possible and definite source (possible and definite successor). ACKNOWLEDGMENT The authors gratefully thank the reviewers for their observations. REFERENCES
that Q ' is not a closed subset of Q, i.e., P(Q Q ') Q Q ' (as Q ' is a proper open subset of Q). Now as r Q ' and such that P( r ) P ( q ) , q Q Q' P(Q ') P(Q Q ') . Thus p P(Q Q ') such that or that Hence p P(Q ') = Q ', p Q Q '.
P (Q Q ') Q Q ' .
(ii) Let M be possible retrievable. Then T (Q ) is an R0 topology. Thus for any open subset Q ' of Q, P '(Q ') Q ' . Hence P '(Q ') = Q ' . Conversely, let for any possible rough subautomaton N = (Q ', R ', X , ') of M such that P '(Q ') = Q ' . Then as Q ' is T (Q) -open and contains the closure of
1st Intl Conf. on Recent Advances in Information Technology | RAIT-2012 | [1] [2] [3] [4] S. Basu, Rough finite state automata, Cybernetics and Systems, vol. 36, pp. 107-124, 2005. Z. Pawlak, Rough sets, International Journal of Computer and Information Sciences, vol. 11, pp. 341-356, 1982. W. Shukla and A.K. Srivastava, A topology for automata: A. note, Information and Control, vol. 32, pp. 163-168, 1976. A.K. Srivastava and W. Shukla, A topology for automata II, International Journal of Mathematics and Mathematical Sciences, vol. 9, pp. 425-428, 1986. A.K. Srivastava and S.P. Tiwari, A topology for fuzzy automata, in: Proc. AFSS Internat. Conf. on Fuzzy Systems, Lecture Notes in Artificial Intelligance, Springer-verlag, Berlin, vol. 2275, pp. 485490, 2002. A.K. Srivastava and S.P. Tiwari, IF-topologies and IF automata, Soft Comput., vol. 14, pp. 571578, 2010. [7] S. P. Tiwari, A.K. Srivastava and Shambhu Sharan, Charaterizations of rough finite state automata, Communicated. [8] S. P. Tiwari and Shambhu Sharan, On coverings of transformation semigroups, in: Proc. RSFDGrC 13th Internat. Conf. on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, Lecture Notes in Artificial Intelligence, Springer Verlag, Berlin, vol. 6743, pp.79-86, 2011. [9] S. Willard, General topology, Addison-Wesley, Reading, MA, 1972. [10] Y.Y. Yao, Two view on the theory of rough sets in finite universes, International Journal of Approximate Reasoning, vol. 15, pp. 291317, 1996. [6]
[5]