On minimal realization of fuzzy behaviour and associated categories

This paper is towards the study of minimal deterministic automata with fuzzy output which realizes the given fuzzy behaviour. The construction of such automaton is based on Myhill-Nerode’s theory, and it is shown that this automaton is a canonical realization of given fuzzy behaviour. Meanwhile, we introduce the categories of deterministic automata with fuzzy output and fuzzy behaviour. The relationship between both the categories through functors is also studied.

[1]  Daowen Qiu,et al.  Equivalence in automata theory based on complete residuated lattice-valued logic , 2007, Fuzzy Sets Syst..

[2]  Y. Jun.  Intuitionistic fuzzy finite switchboard state machines , 2006 .

[3]  Yongming Li,et al.  Finite automata theory with membership values in lattices , 2011, Inf. Sci..

[4]  Arto Salomaa,et al.  Lexical Analysis with a Simple Finite-Fuzzy-Automaton Model , 1996 .

[5]  Chen Wenxue,et al.  Alkaline diagenesis and its influence on a reservoir in the Biyang depression , 2002 .

[6]  Sung Jin Cho,et al.  Products of T-generalized state machines and T-generalized transformation semigroups , 1998, Fuzzy Sets Syst..

[7]  Qiu Daowen,et al.  Automata theory based on complete residuated lattice-valued logic , 2001 .

[8]  Young Bae Jun,et al.  Quotient structures of intuitionistic fuzzy finite state machines , 2007, Inf. Sci..

[9]  J. Goguen.  Minimal realization of machines in closed categories , 1972 .

[10]  Y. Jun.  Intuitionistic fuzzy finite state machines , 2005 .

[11]  William G. Wee,et al.  General Formulation of Sequential Machines , 1968, Inf. Control..

[12]  W. Wee.  On generalizations of adaptive algorithms and application of the fuzzy sets concept to pattern classification , 1967 .

[13]  Radim Belohlávek,et al.  Determinism and fuzzy automata , 2002, Inf. Sci..

[14]  Miroslav Ciric,et al.  Myhill-Nerode type theory for fuzzy languages and automata , 2010, Fuzzy Sets Syst..

[15]  Yongzhi Cao,et al.  Nondeterministic fuzzy automata , 2010, Inf. Sci..

[16]  A. Nerode,et al.  Linear automaton transformations , 1958 .

[17]  M. M. Zahedi,et al.  BL-general fuzzy automata and accept behavior , 2012 .

[18]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[19]  J. Mordeson,et al.  On subsystems of a fuzzy finite state machine , 1994 .

[20]  Miroslav Ciric,et al.  Formal power series and regular operations on fuzzy languages , 2010, Inf. Sci..

[21]  Witold Pedrycz,et al.  Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids , 2005, Fuzzy Sets Syst..

[22]  Miroslav Ciric,et al.  Determinization of fuzzy automata with membership values in complete residuated lattices , 2008, Inf. Sci..

[23]  Bobby Schmidt,et al.  Fuzzy math , 2001 .

[24]  Lihua Wu,et al.  Automata theory based on complete residuated lattice-valued logic: Reduction and minimization , 2010, Fuzzy Sets Syst..

[25]  J. Mordeson,et al.  Fuzzy Automata and Languages: Theory and Applications , 2002 .