GENERAL FUZZY AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED

The present paper has been an attempt to investigate the general fuzzy automata on the basis of complete residuated lattice-valued ($L$-GFAs). The study has been chiefly inspired from the work by Mockor cite{15, 16, 17}. Regarding this, the categorical issue of $L$-GFAs has been studied in more details. The main issues addressed in this research include: (1) investigating the relationship between the category of $L$-GFAs and the category of non-deterministic automata (NDAs); as well as the relationship between the category of generalized $L$-GFAs and the category of NDAs; (2) demonstrating the existence of isomorphism between the category of $L$-GFAs and the subcategory of generalized $L$-GFAs and between the category of $L$-GFAs and the category of sets of NDAs; (3) and further scrutinizing some specific relationship between the output $L$-valued subsets of generalized $L$-GFAs and the output $L$-valued of NDAs.

[1]  Juan Tang,et al.  Results on the use of category theory for the study of lattice-valued finite state machines , 2014, Inf. Sci..

[2]  Věra Trnková,et al.  Automate and Categories , 1975, MFCS.

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

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

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

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

[7]  Jiří Močkoř.  A category of fuzzy automata , 1991 .

[8]  Fuchun Liu,et al.  Fuzzy Discrete-Event Systems Under Fuzzy Observability and a Test Algorithm , 2006, IEEE Transactions on Fuzzy Systems.

[9]  Michael A. Arbib,et al.  A categorist's view of automata and systems , 1974, Category Theory Applied to Computation and Control.

[10]  M. Arbib,et al.  Fuzzy machines in a category , 1975, Bulletin of the Australian Mathematical Society.

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

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

[13]  Hongyan Xing,et al.  Automata theory based on complete residuated lattice-valued logic , 2007, Science in China Series : Information Sciences.

[14]  J. Goguen.  L-fuzzy sets , 1967 .

[15]  Michael A. Arbib,et al.  Basic concepts of category theory applicable to computation and control , 1974, Category Theory Applied to Computation and Control.

[16]  Vera Trnková,et al.  Relational Automata ina Category and their Language , 1977, FCT.

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

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

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

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

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

[22]  S. P. Tiwari,et al.  On minimal realization of fuzzy behaviour and associated categories , 2014 .

[23]  Jiri Mockor.  Semigroup homomorphisms and fuzzy automata , 2002, Soft Comput..

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

[25]  P. Dangerfield.  Logic , 1996, Aristotle and the Stoics.

[26]  Michael A. Arbib,et al.  From Automata Theory to Brain Theory , 1975, Int. J. Man Mach. Stud..

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

[28]  Lihua Wu,et al.  Automata theory based on complete residuated lattice-valued logic: Turing machines , 2012, Fuzzy Sets Syst..

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

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

[31]  Marvin Minsky,et al.  Computation : finite and infinite machines , 2016 .

[32]  M. Arbib,et al.  MACHINES IN A CATEGORY: AN EXPOSITORY INTRODUCTION* , 1974 .

[33]  Vijay K. Yadav,et al.  Construction of a minimal realization and monoid for a fuzzy language: a categorical approach , 2015 .