• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.6
• /
• pp.749-753
• /
• 2003

In this paper we introduce the concepts on retrievability, separability and connectedness of fuzzy submachines, which generalize those of crisp submachines. And also we generalize crisp primary submachines to those with fuzziness, from which we obtain the decomposition theorem of fuzzy submachines.

• Journal of applied mathematics & informatics
• /
• v.19 no.1_2
• /
• pp.457-466
• /
• 2005

In this paper we present the concepts of fuzzy submachine, which are the generalized form of crisp submachine of a fuzzy finite state machine. Also we extend the concepts of system of generators to fuzzified form.

• Journal of applied mathematics & informatics
• /
• v.23 no.1_2
• /
• pp.553-561
• /
• 2007

In this paper we propose the concept of fuzzy basis of fuzzy submachine, which is the generalized form of crisp basis of submachine, and we extend the system of generators and free subset to fuzzy forms, from which we prove that minimal system of fuzzy generators, maximally free fuzzy subset, and fuzzy basis are equivalent forms.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.2
• /
• pp.156-160
• /
• 2001

In this paper we define fuzzy subsystems of a fuzzy finite state machine by using maps $S^{\alpha}$ of each state subset to its all $\alpha$-successors, which is a natural generalization of crisp submachines as fuzzy. And the corresponding concepts are also examined. also examined.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.109-120
• /
• 2005

Using the notion of intuitionistic fuzzy sets, the concepts of intuitionistic fuzzy finite state machines (iffsm), intuitionistic successor s, intuitionistic subsystems, intuitionistic submachines, intuitionistic q-twins, and intuitionistic retrievable iffsm are introduce d, and related properties are studied. Relations between intuitionistic q-twins and intuitionistic q-related iffsm are given. A characterization of an intuitionistic retrievable iffsm is provided.