Algebraic properties of L-fuzzy finite automata

Fuzzy automata theory on lattice-ordered monoids was introduced by Li and Pedrycz. Dropping the distributive laws, fuzzy finite automata (L-FFAs for short) based on a more generalized structure L, named a po-monoid, are presented and investigated from the view of algebra in this paper. The notions of (strong) successor and source operators, fuzzy successor and source operators which are shown to be closure operators on certain conditions are introduced and discussed in detail. Using the weak primary submachines, a unique decomposition theorem of a fuzzy finite automaton based on a lattice-ordered monoid is obtained. Taking L as a quantale, fuzzy subsystems are proved to be the same as fuzzy submachines of an L-FFA. In particular, intrinsic connections between algebraic properties of L and properties of some operators of an L-FFA are discovered. It is shown that the join-preserving property of fuzzy successor and source operators can be fully characterized by the right and left distributive laws respectively, and the idempotence of successor operator can be characterized equivalently by the nonexistence of zero divisors when L is a lattice-ordered monoid.

[1]  Friedrich Steimann,et al.  Clinical monitoring with fuzzy automata , 1994 .

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

[3]  Daowen Qiu.  Automata theory based on complete residuated lattice-valued logic , 2007, Science in China Series : Information Sciences.

[4]  Fuchun Liu,et al.  Diagnosability of Fuzzy Discrete-Event Systems: A Fuzzy Approach , 2009, IEEE Trans. Fuzzy Syst..

[5]  Yong-Ming Li,et al.  Remarks on uninorm aggregation operators , 2000, Fuzzy Sets Syst..

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

[7]  W. Holcombe.  Algebraic automata theory: Contents , 1982 .

[8]  Eugene S. Santos,et al.  Maximin Automata , 1968, Inf. Control..

[9]  Daowen Qiu,et al.  Notes on automata theory based on quantum logic , 2007, Science in China Series F: Information Sciences.

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

[11]  K. I. Rosenthal.  Quantales and their applications , 1990 .

[12]  Eugene S. Santos.  Fuzzy automata and languages , 1976, Inf. Sci..

[13]  Gonzalo Bailador,et al.  Pattern recognition using temporal fuzzy automata , 2010, Fuzzy Sets Syst..

[14]  Arun K. Srivastava,et al.  A Topology for Automata: A Note , 1976, Inf. Control..

[15]  Madan M. Gupta,et al.  Fuzzy automata and decision processes , 1977 .

[16]  Z. Pawlak.  Rough Sets: Theoretical Aspects of Reasoning about Data , 1991 .

[17]  J. F. Baldwin,et al.  Fuzzy Switching and Automata Theory and Applications , 1980 .

[18]  Zamir Bavel.  Introduction to the theory of automata , 1983 .

[19]  Bae Jun Young.  Intuitionistic fuzzy transformation semigroups , 2009, Inf. Sci..

[20]  Lin Shaoyuan.  Analysis of Fuzzy Sliding Mode Control Systems , 2000 .

[21]  Eugene S. Santos.  On reductions of maximin machines , 1972 .

[22]  S. P. Tiwari,et al.  On a decomposition of fuzzy automata , 2005, Fuzzy Sets Syst..

[23]  邱道文.  Automata theory based on complete residuated lattice—valued logic（II） , 2001 .

[24]  K. Peeva.  Fuzzy automata and languages: theory and applications , 2004 .

[25]  Zhihui Li,et al.  The relationships among several types of fuzzy automata , 2006, Inf. Sci..

[26]  King-Sun Fu,et al.  A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems , 1969, IEEE Trans. Syst. Sci. Cybern..

[27]  K. Peeva,et al.  Computing behavior of finite fuzzy machines - Algorithm and its application to reduction and minimization , 2008, Inf. Sci..

[28]  Peter R. J. Asveld,et al.  Algebraic aspects of families of fuzzy languages , 2001, Theor. Comput. Sci..

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

[30]  Ping Li,et al.  Algebraic properties of LA-languages , 2006, Inf. Sci..

[31]  Eugene S. Santos,et al.  Max-product machines , 1972 .

[32]  Witold Pedrycz,et al.  Minimization of lattice finite automata and its application to the decomposition of lattice languages , 2007, Fuzzy Sets Syst..

[33]  Yongming Li,et al.  Minimization of states in automata theory based on finite lattice-ordered monoids , 2007, Inf. Sci..

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

[35]  John N. Mordeson,et al.  Structure of upper and lower approximation spaces of infinite sets , 2002 .

[36]  Daowen Qiu,et al.  Characterizations of fuzzy finite automata , 2004, Fuzzy Sets Syst..

[37]  Ewa Orlowska,et al.  Semantic Analysis of Inductive Reasoning , 1986, Theor. Comput. Sci..

[38]  John N. Mordeson,et al.  Products of fuzzy finite state machines , 1997, Fuzzy Sets Syst..