Results on the use of category theory for the study of lattice-valued finite state machines

In this paper, we introduce the concepts of category of lattice-valued finite state machines, category of quasi-lattice-valued transformation semigroups, category of quasi-lattice-valued transformation monoids, category of lattice-valued transformation semigroups, category of lattice-valued transformation monoids and six pairs of functors, each pair of functors have the adjoint property, we discuss the relation between the categories with functors and give the adjoint theorems and relation theorems.

[1]  Eugene S. Santos.  Fuzzy and probabilistic programs , 1976 .

[2]  S. R. Chaudhari,et al.  Fuzzy recognizers and recognizable sets , 2002, Fuzzy Sets Syst..

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

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

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

[6]  John N. Mordeson,et al.  Admissible Partitions of Fuzzy Finite State Machines , 1997, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[7]  Eugene S. Santos.  Fuzzy automata and languages , 1976, Information Sciences.

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

[9]  Eugene S. Santos.  Realizations of fuzzy languages by probabilistic, max-product, and maximin automata , 1975, Inf. Sci..

[10]  H. V. Kumbhojkar,et al.  On prime and primary fuzzy ideals and their radicals , 1993 .

[11]  John N. Mordeson,et al.  Regular Fuzzy Expressions , 2003 .

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

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

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

[15]  Jeffrey D. Ullman,et al.  Formal languages and their relation to automata , 1969, Addison-Wesley series in computer science and information processing.