Given a fuzzy finite state machine M=(Q,∑,μ) a fuzzy closureoperator is defined which induces a Lowen-type fuzzy topology τ inQ. The concepts of separation of fuzzy subsystems and conceitednessof fuzzy finite state machines are developed. Some results onconceitedness and weak conceitedness of fuzzy subsystems areobtained. Characterizations of these concepts in terms of the fuzzytopology are also obtained.
展开▼