Bisimulation for BL-general fuzzy automata

In this note, we define bisimulation for BL-general fuzzy automata and show that if there is a bisimulation between two BL-general fuzzy automata, then they have the same behavior.For a given BL-general fuzzy automata, we obtain the greatest bisimulation for the BL-general fuzzy automata. Thereafter, if we use the greatest bisimulation, then we obtain a quotient BL-general fuzzy automata and this quotient is minimal, furthermore there is a morphism from the first one to its quotient.Also, for two given BL-general fuzzy automata we present an algorithm, which determines bisimulation between them.Finally, we present some examples to clarify these new notions.

[1]  Miroslav Ciric,et al.  Computation of the greatest simulations and bisimulations between fuzzy automata , 2011, Fuzzy Sets Syst..

[2]  Andreas Maletti,et al.  Backward and Forward Bisimulation Minimisation of Tree Automata , 2007, CIAA.

[3]  Robert LIN,et al.  NOTE ON FUZZY SETS , 2014 .

[4]  Esko Turunen,et al.  Boolean deductive systems of BL-algebras , 2001, Arch. Math. Log..

[5]  Miroslav Ciric,et al.  Bisimulations for fuzzy automata , 2011, Fuzzy Sets Syst..

[6]  Christel Baier,et al.  Deciding Bisimilarity and Similarity for Probabilistic Processes , 2000, J. Comput. Syst. Sci..

[7]  Witold Pedrycz,et al.  Learning of Fuzzy Automata , 2001, Int. J. Comput. Intell. Appl..

[8]  Karvel K. Thornber,et al.  Fuzzy finite-state automata can be deterministically encoded into recurrent neural networks , 1998, IEEE Trans. Fuzzy Syst..

[9]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[10]  J. Mordeson,et al.  Fuzzy Discrete Structures , 2000 .

[11]  K. Hashiguchi.  Equivalence , 2018, Fundamentals of Abstract Analysis.

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

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

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

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

[16]  Daowen Qiu,et al.  On the State Minimization of Fuzzy Automata , 2015, IEEE Transactions on Fuzzy Systems.

[17]  Miroslav Ciric,et al.  Nondeterministic automata: Equivalence, bisimulations, and uniform relations , 2011, Inf. Sci..

[18]  Peter Buchholz,et al.  Bisimulation relations for weighted automata , 2008, Theor. Comput. Sci..

[19]  N. Lynch,et al.  Forward and backward simulations , 1993 .

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

[21]  Karvel K. Thornber,et al.  Equivalence in knowledge representation: automata, recurrent neural networks, and dynamical fuzzy systems , 1999, Proc. IEEE.

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

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

[24]  Lotfi A. Zadeh,et al.  Note on fuzzy languages , 1969, Inf. Sci..

[25]  T. Stankowich.  Behavior , 2009, The Quarterly Review of Biology.

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

[27]  Stefan C. Kremer,et al.  New directions in fuzzy automata , 2005, Int. J. Approx. Reason..

[28]  Weilin Deng,et al.  Supervisory Control of Fuzzy Discrete-Event Systems for Simulation Equivalence , 2015, IEEE Transactions on Fuzzy Systems.

[29]  Miroslav Ciric,et al.  Bisimulations for weighted automata over an additively idempotent semiring , 2014, Theor. Comput. Sci..

[30]  Dexter Kozen,et al.  Automata and Computability , 1997, Undergraduate Texts in Computer Science.

[31]  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).

[32]  Etienne E. Kerre,et al.  Bisimulations for Fuzzy-Transition Systems , 2010, IEEE Transactions on Fuzzy Systems.

[33]  M. M. Zahedi,et al.  Isomorphism between two BL-general fuzzy automata , 2012, Soft Comput..

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

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

[36]  Huaiqing Wang,et al.  A Behavioral Distance for Fuzzy-Transition Systems , 2011, IEEE Transactions on Fuzzy Systems.

[37]  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..