The purpose of present work is to introduce a new category of fuzzy automata with morphisms as relations. We introduce and study the categorical concepts such as biproducts, monomorphisms, epimorphisms, injectives and projectives in this category. Finally, two functorial relationships are introduced between this new category of fuzzy automata and the category of fuzzy automata introduced and studied in [1].
SrivastavaA.K. and TiwariS.P., A topology for fuzzy automata, Lecture Notes in Artificial Intelligence, Springer2275 (2002), 485–490.
2.
PierceB.C., Basic category theory for computer scientists, MIT press,
1991.
3.
LiuC.H. and XuL.S., On ⊙-ideals and lattices of ⊙-ideals in regular residuated lattices, Quantitative Logic and Soft Computing82 (2010), 425–434.
4.
PeiD.W., On equivalent forms of fuzzy logic systems NM and IMTL, Fuzzy Sets and System138 (2003), 187–195.
5.
PeiD.W., The characterization of residuated lattices and regular residuated lattices, Acta Mathematica Sinica45 (2002), 271–278.
6.
QiuD., Automata theory based on complete residuated latticevalued logic(I), Science in China Series F, Information Sciences44 (2001), 419–429.
7.
QiuD., Automata theory based on complete residuated latticevalued logic(II), Science in China Series F, Information Sciences45 (2002), 442–452.
8.
QiuD., Characterization of fuzzy finite automata, Fuzzy Sets and Systems141 (2004), 391–414.
9.
QiuD., Automata theory based on quantum logic: Some characterizations, Information and Computation190 (2004), 179–195.
10.
SantosE.S., Maximin automata, Information and Control12 (1968), 367–377.
11.
SantosE.S., Fuzzy automata and languages, Information Science10 (1976), 193–197.
12.
BailadorG. and TrivinoG., Pattern recognition using temporal fuzzy automata, Fuzzy Sets and System61 (2009), 37–55.
13.
HerrlichH. and StreckerG.E., Category Theory, Sigma Series in Pure Mathematics, second edition, Heldermann Verlag, Berlin,
1979.
14.
XingH. and QiuD., Automata theory based on complete residuated lattice-valued logic: A categorical approach, Fuzzy Sets and Systems160 (2009), 2416–2428.
15.
AdamekJ. and TrnkovaV., Automata and Algebras in Categories, Kluwer,
1990.
16.
GoguenJ.A., Minimal realization of machines in closed categories, Bulletin of American Mathematical Society78 (1972), 777–783.
17.
HardingJ., WalkerC. and WalkerE., Categories with fuzzy sets and relations, Fuzzy Sets and Systems256 (2014), 149–165.
18.
IgnjatovićJ., ĆirićM. and BogdanovićS., Determinization of fuzzy automata with membership values in complete residuated lattices, Information Sciences178 (2008), 164–180.
19.
IgnjatovićJ., ĆirićM., BogdanovićS. and PetkovićT., Myhill-Nerode type theory for fuzzy languages and automata, Fuzzy Sets and Systems161 (2010), 1288–1324.
20.
IgnjatovićJ., ĆiricM. and SimovićV., Fuzzy relation equations and subsystems of fuzzy transition systems, Knowledge-Based Systems38 (2013), 48–61.
21.
MordesonJ.N. and MalikD.S., Fuzzy Automata and Languages: Theory and Applications, Chapman & Hall/CRC, Boca Raton, London,
2002.
22.
MočkŏrJ., A category of fuzzy automata, International Journal of General Systems20 (1991), 73–82.
23.
MočkŏrJ., Fuzzy and non-deterministic automata, Soft Computing3 (1999), 221–226.
24.
MočkŏrJ., Semigroup homomorphisms and fuzzy automata, Soft Computing6 (2002), 423–427.
25.
AbolpourK. and ZahediM.M., Isomorphism between two BL-general fuzzy automata, Soft Computing16 (2012), 103–118.
26.
BlountK. and TsinakisC., The structure of residuated lattices, International journal of Algebra and Computation13 (2003), 437–461.
27.
PeevaK., Fuzzy acceptors for syntactic pattern recognition, International Journal of Approximate Reasoning5 (1991), 291–306.
28.
PeevaK., Behaviour, reduction and minimization of finite L-automata, Fuzzy Sets and Systems28 (1988), 171–181.
29.
ZadehL.A., Fuzzy sets, Information and Control8 (1965), 338–353.
30.
ArbibM.A. and ManesE.G., Machines in a category: An expository introduction, SIAM Review16 (1974), 163–192.
31.
ArbibM.A. and ManesE.G., Basic concepts of category theory applicable to computation and control, Proc First International Symposium AMherst MA, Lecture Notes in Computer Science25 (1975), 2–41.
32.
ArbibM.A. and ManesE.G., A categorist’s view of automata and systems, Proc First International Symposium AMherst MA, Lecture Notes in Computer Science25 (1975), 62–78.
33.
BarrM. and WellsC., Category Theory for Computing Science, Prentice-Hall International (UK) Limited, Englewood Cliffs, NJ, 1996..
34.
DilworthR.P. and WardN., Residuated lattices, Transactions of the American Mathematical Society45 (1939), 335–354.
35.
EilenbergS., Automata, Languages and Machines: A, Academic Press, New York, 1974.
36.
TiwariS.P. and SrivastavaA.K., On a decomposition of fuzzy automata, Fuzzy Sets and Systems151 (2005), 503–511.
37.
TiwariS.P. and SharanS., Fuzzy automata based on latticeordered monoids with algebraic and topological aspects, Fuzzy Information and Engineering4 (2012), 155–164.
38.
TiwariS.P., YadavV.K. and SinghA.K., Construction of aminimal realization and monoid for a fuzzy language: A categorical approach, Journal of Applied Mathematics and Computing47 (2015), 401–416.
39.
TiwariS.P., GautamV. and DavvazB., On minimal realization for a fuzzy language and Brzozowski’s algorithm, Journal of Intelligent and Fuzzy Systems29 (2015), 1949–1956.
40.
TiwariS.P., SinghA.K., SharanS. and YadavV.K., Bifuzzy core of fuzzy automata, Iranian Journal of Fuzzy Systems12 (2015), 63–73.
41.
TrnkováV., Automata and categories, Lecture Notes in Computer Science32 (1975), 160–166.
42.
TrnkováV., Relational automata in a category and their languages, Lecture Notes in Computer Science56 (1977), 340–355.
43.
WeeW.G. and FuK.S., A formulation of fuzzy automata and its application as a model of learning systems, Systems Science and Cybernetics, IEEE Transactions5 (1969), 215–223.
44.
KimY.H., KimJ.G. and ChoS.J., Products of T-generalized state machines and T-generalized transformation semigroups, Fuzzy Sets and System93 (1998), 87–97.
45.
LiY. and PedryczW., Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids, Fuzzy Sets and Systems156 (2005), 68–92.
46.
LiY.M., A categorical approach to lattice-valued fuzzy automata, Fuzzy Sets and Systems156 (2006), 855–864.
