Determinization of fuzzy automata with membership values in complete residuated lattices

In this paper we introduce a new method for determinization of fuzzy finite automata with membership values in complete residuated lattices. In comparison with the previous methods, developed by Belohlavek [R. Belohlavek, Determinism and fuzzy automata, Information Sciences 143 (2002), 205-209] and Li and Pedrycz [Y.M. Li, W. Pedrycz, Fuzzy finite automata and fuzzy regular expressions with membership values in lattice ordered monoids, Fuzzy Sets and Systems 156 (2005), 68-92], our method always gives a smaller automaton, and in some cases, when the previous methods result in infinite automata, our method can result in a finite one. We also show that determinization of fuzzy automata is closely related to fuzzy right congruences on a free monoid and fuzzy automata associated with them, and in particular, to the concept of the Nerode's fuzzy right congruence of a fuzzy automaton, which we introduce and study here.

[1]  Jizhong Shen,et al.  Fuzzy Language on Free Monoid , 1996, Inf. Sci..

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

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

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

[5]  Yongming Li.  A categorical approach to lattice-valued fuzzy automata , 2006, Fuzzy Sets Syst..

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

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

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

[9]  Daowen Qiu,et al.  Pumping lemma in automata theory based on complete residuated lattice-valued logic: A note , 2006, Fuzzy Sets Syst..

[10]  Huaiqing Wang,et al.  Computing with words via Turing machines: a formal approach , 2003, IEEE Trans. Fuzzy Syst..

[11]  Grzegorz Rozenberg,et al.  Handbook of Formal Languages , 1997, Springer Berlin Heidelberg.

[12]  Jiri Mockor.  Fuzzy and non-deterministic automata , 1999, Soft Comput..

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

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

[15]  Miroslav Ciric,et al.  Factorization of Fuzzy Automata , 2007, FCT.

[16]  Li Sheng,et al.  Regular grammars with truth values in lattice-ordered monoid and their languages , 2006, Soft Comput..

[17]  Tatjana Petkovic,et al.  Congruences and homomorphisms of fuzzy automata , 2006, Fuzzy Sets Syst..

[18]  Ulrich Höhle,et al.  Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory , 1995 .

[19]  Feng Lin,et al.  Modeling and control of fuzzy discrete event systems , 2002, IEEE Trans. Syst. Man Cybern. Part B.

[20]  Yongming Li,et al.  Approximation and robustness of fuzzy finite automata , 2008, Int. J. Approx. Reason..

[21]  Janusz Kacprzyk,et al.  Beyond two: theory and applications of multiple-valued logic , 2003 .

[22]  John N. Mordeson,et al.  On Fuzzy Regular Languages , 1996, Inf. Sci..

[23]  L. Valverde.  On the structure of F-indistinguishability operators , 1985 .

[24]  Daowen Qiu,et al.  Supervisory control of fuzzy discrete event systems: a formal approach , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[25]  Miroslav Ciric,et al.  Fuzzy equivalence relations and their equivalence classes , 2007, Fuzzy Sets Syst..

[26]  John N. Mordeson,et al.  Fuzzy Semigroups , 2003, Studies in Fuzziness and Soft Computing.

[27]  L. Godo,et al.  On the hierarchy of t-norm based residuated fuzzy logics , 2003 .

[28]  Aldo de Luca,et al.  Finiteness and Regularity in Semigroups and Formal Languages , 1999, Monographs in Theoretical Computer Science An EATCS Series.

[29]  Symeon Bozapalidis,et al.  On the recognizability of fuzzy languages II , 2008, Fuzzy Sets Syst..

[30]  Witold Pedrycz,et al.  The equivalence between fuzzy Mealy and fuzzy Moore machines , 2006, Soft Comput..

[31]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

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

[33]  Daowen Qiu,et al.  A note on Trillas' CHC models , 2007, Artif. Intell..

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

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

[36]  Mark V. Lawson,et al.  Finite Automata , 2003, Handbook of Networked and Embedded Control Systems.

[37]  R. Belohlávek.  Fuzzy Relational Systems: Foundations and Principles , 2002 .