{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:52:22Z","timestamp":1766087542722},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2020,3,27]],"date-time":"2020-03-27T00:00:00Z","timestamp":1585267200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,3,27]],"date-time":"2020-03-27T00:00:00Z","timestamp":1585267200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J. Appl. Math. Comput."],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s12190-020-01338-3","type":"journal-article","created":{"date-parts":[[2020,3,27]],"date-time":"2020-03-27T05:02:52Z","timestamp":1585285372000},"page":"771-785","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Categories of quantale-valued fuzzy automata: determinization and minimization"],"prefix":"10.1007","volume":"63","author":[{"given":"M. K.","family":"Dubey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. P.","family":"Tiwari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"\u0160ostak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,3,27]]},"reference":[{"key":"1338_CR1","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1017\/S0960129500000189","volume":"3","author":"S Abramsky","year":"1993","unstructured":"Abramsky, S., Vickers, S.: Quantales, observational logic and process semantics. Math. Struct. Comput. Sci. 3, 161\u2013227 (1993)","journal-title":"Math. Struct. Comput. Sci."},{"key":"1338_CR2","volume-title":"Automata and Algebras in Categories","author":"J Adamek","year":"1990","unstructured":"Adamek, J., Trnkova, V.: Automata and Algebras in Categories. Kluwer, Boston (1990)"},{"key":"1338_CR3","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1137\/1016026","volume":"16","author":"MA Arbib","year":"1974","unstructured":"Arbib, M.A., Manes, E.G.: Machines in a category: an expository introduction. SIAM Rev. 16, 163\u2013192 (1974)","journal-title":"SIAM Rev."},{"key":"1338_CR4","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1017\/S0004972700024412","volume":"13","author":"MA Arbib","year":"1975","unstructured":"Arbib, M.A., Manes, E.G.: Fuzzy machines in a category. Bull. Aust. Math. Soc. 13, 169\u2013210 (1975)","journal-title":"Bull. Aust. Math. Soc."},{"key":"1338_CR5","volume-title":"Category Theory for Computing Science","author":"M Barr","year":"1996","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Science. Prentice-Hall International (UK) Limited, Englewood Cliffs (1996)"},{"key":"1338_CR6","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/S0020-0255(02)00192-5","volume":"143","author":"R B\u011blohl\u00e1vek","year":"2002","unstructured":"B\u011blohl\u00e1vek, R.: Determinism and fuzzy automata. Inf. Sci. 143, 205\u2013209 (2002)","journal-title":"Inf. Sci."},{"key":"1338_CR7","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TFUZZ.2014.2310466","volume":"23","author":"W Deng","year":"2015","unstructured":"Deng, W., Qiu, D.W.: Supervisory control of fuzzy discrete event systems for simulation equivalence. IEEE Trans. Fuzzy Syst. 23, 178\u2013192 (2015)","journal-title":"IEEE Trans. Fuzzy Syst."},{"key":"1338_CR8","volume-title":"Progress in Advanced Computing and Intelligent Engineering. Advances in Intelligent Systems and Computing","author":"MK Dubey","year":"2019","unstructured":"Dubey, M.K., Yadav, V.K., Tiwari, S.P.: On the cateogy of quantale-semimodules. In: Panigrahi, C., Pujari, A., Misra, S., Pati, B., Li, K.C. (eds.) Progress in Advanced Computing and Intelligent Engineering. Advances in Intelligent Systems and Computing, vol. 714. Springer, Singapore (2019)"},{"key":"1338_CR9","volume-title":"Automata Languages and Machines","author":"S Eilenberg","year":"1974","unstructured":"Eilenberg, S.: Automata Languages and Machines, vol. A, B. Academic Press, New York (1974)"},{"key":"1338_CR10","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1090\/S0002-9904-1972-13032-5","volume":"78","author":"JA Goguen","year":"1972","unstructured":"Goguen, J.A.: Minimal realization of machines in closed categories. Bull. Am. Math. Soc. 78, 777\u2013783 (1972)","journal-title":"Bull. Am. Math. Soc."},{"key":"1338_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9333-5","volume-title":"Semiring and Their Applications","author":"JS Golan","year":"1999","unstructured":"Golan, J.S.: Semiring and Their Applications. Kluwer Academic Publishers, Boston (1999)"},{"key":"1338_CR12","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1016\/j.ins.2007.08.003","volume":"178","author":"J Ignjatovi\u0107","year":"2008","unstructured":"Ignjatovi\u0107, J., \u0106iri\u0107, M., Bogdanovi\u0107, S.: Determinization of fuzzy automata with membership values in complete residuated lattices. Inf. Sci. 178, 164\u2013180 (2008)","journal-title":"Inf. Sci."},{"key":"1338_CR13","doi-asserted-by":"crossref","first-page":"1288","DOI":"10.1016\/j.fss.2009.06.007","volume":"161","author":"J Ignjatovi\u0107","year":"2010","unstructured":"Ignjatovi\u0107, J., \u0106iri\u0107, M., Bogdanovi\u0107, S., Petkovi\u0107, T.: Myhill\u2013Nerode type theory for fuzzy languages and automata. Fuzzy Sets Syst. 161, 1288\u20131324 (2010)","journal-title":"Fuzzy Sets Syst."},{"key":"1338_CR14","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF02936044","volume":"17","author":"YB Jun","year":"2005","unstructured":"Jun, Y.B.: Intuitionistic fuzzy finite state machines. J. Appl. Math. Comput. 17, 109\u2013120 (2005)","journal-title":"J. Appl. Math. Comput."},{"key":"1338_CR15","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0165-0114(96)00205-9","volume":"93","author":"YH Kim","year":"1998","unstructured":"Kim, Y.H., Kim, J.G., Cho, S.J.: Products of $$T$$-generalized state machines and $$T$$-generalized transformation semigroups. Fuzzy Sets Syst. 93, 87\u201397 (1998)","journal-title":"Fuzzy Sets Syst."},{"key":"1338_CR16","first-page":"1019","volume":"4","author":"HV Kumbhojkar","year":"2008","unstructured":"Kumbhojkar, H.V., Chaudhri, S.R.: On proper fuzzification of fuzzy finite state machines. Int. J. Fuzzy Math. 4, 1019\u20131027 (2008)","journal-title":"Int. J. Fuzzy Math."},{"key":"1338_CR17","doi-asserted-by":"crossref","first-page":"1413","DOI":"10.1016\/j.ins.2006.07.015","volume":"177","author":"H Lei","year":"2007","unstructured":"Lei, H., Li, Y.M.: Minimization of states in automata theory based on finite lattice-ordered monoids. Inf. Sci. 177, 1413\u20131421 (2007)","journal-title":"Inf. Sci."},{"key":"1338_CR18","first-page":"855","volume":"156","author":"YM Li","year":"2006","unstructured":"Li, Y.M.: A Categorical approach to lattice-valued fuzzy automata. Fuzzy Sets Syst. 156, 855\u2013864 (2006)","journal-title":"Fuzzy Sets Syst."},{"key":"1338_CR19","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1016\/j.fss.2005.04.004","volume":"156","author":"YM Li","year":"2005","unstructured":"Li, Y.M., Pedrycz, W.: Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids. Fuzzy Sets Syst. 156, 68\u201392 (2005)","journal-title":"Fuzzy Sets Syst."},{"key":"1338_CR20","doi-asserted-by":"crossref","first-page":"1423","DOI":"10.1016\/j.fss.2007.03.003","volume":"158","author":"YM Li","year":"2007","unstructured":"Li, Y.M., Pedrycz, W.: Minimization of lattice finite automata and its application to the decomposition of lattice languages. Fuzzy Sets Syst. 158, 1423\u20131436 (2007)","journal-title":"Fuzzy Sets Syst."},{"key":"1338_CR21","doi-asserted-by":"crossref","first-page":"434","DOI":"10.1109\/TFUZZ.2014.2315620","volume":"23","author":"L Li","year":"2015","unstructured":"Li, L., Qiu, D.W.: On the state minimization of fuzzy automata. IEEE Trans. Fuzzy Syst. 23, 434\u2013443 (2015)","journal-title":"IEEE Trans. Fuzzy Syst."},{"key":"1338_CR22","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/j.ic.2012.07.002","volume":"218","author":"P Mateus","year":"2012","unstructured":"Mateus, P., Qiu, D.W., Li, L.Z.: On the complexity of minimizing probabilistic and quantum automata. Inf. Comput. 218, 36\u201353 (2012)","journal-title":"Inf. Comput."},{"key":"1338_CR23","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1080\/03081079108945016","volume":"20","author":"J Mockor","year":"1991","unstructured":"Mockor, J.: A category of fuzzy automata. Int. J. Gen. Syst. 20, 73\u201382 (1991)","journal-title":"Int. J. Gen. Syst."},{"key":"1338_CR24","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/s005000050091","volume":"3","author":"J Mo\u010dk\u01d2r","year":"1999","unstructured":"Mo\u010dk\u01d2r, J.: Fuzzy and non-deterministic automata. Soft Comput. 3, 221\u2013226 (1999)","journal-title":"Soft Comput."},{"key":"1338_CR25","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1080\/03081079.2019.1585431","volume":"48","author":"J Mo\u010dk\u01d2r","year":"2019","unstructured":"Mo\u010dk\u01d2r, J.: Monads and a common framework for fuzzy type automata. Int. J. General Syst. 48, 406\u2013442 (2019)","journal-title":"Int. J. General Syst."},{"key":"1338_CR26","volume-title":"Fuzzy Automata and Languages: Theory and Applications","author":"JN Mordeson","year":"2000","unstructured":"Mordeson, J.N., Malik, D.S.: Fuzzy Automata and Languages: Theory and Applications. Chapman and Hall, London (2000)"},{"issue":"12","key":"1338_CR27","first-page":"99","volume":"II","author":"CJ Mulvey","year":"1986","unstructured":"Mulvey, C.J.: Rend. Circolo Mat. Palermo II(12), 99\u2013104 (1986)","journal-title":"Rend. Circolo Mat. Palermo"},{"key":"1338_CR28","first-page":"419","volume":"44","author":"DW Qiu","year":"2001","unstructured":"Qiu, D.W.: Automata theory based on complete residuated lattice-valued logic(I). Sci. China 44, 419\u2013429 (2001)","journal-title":"Sci. China"},{"key":"1338_CR29","first-page":"442","volume":"45","author":"DW Qiu","year":"2002","unstructured":"Qiu, D.W.: Automata theory based on complete residuated lattice-valued logic(II). Sci. China 45, 442\u2013452 (2002)","journal-title":"Sci. China"},{"key":"1338_CR30","volume-title":"Quantales and Their Applications","author":"KL Rosenthal","year":"1990","unstructured":"Rosenthal, K.L.: Quantales and Their Applications. Longman Scientific and Technical, London (1990)"},{"key":"1338_CR31","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1016\/0022-247X(72)90250-8","volume":"37","author":"ES Santos","year":"1972","unstructured":"Santos, E.S.: Max-product machines. J. Math. Anal. Appl. 37, 677\u2013686 (1972)","journal-title":"J. Math. Anal. Appl."},{"key":"1338_CR32","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/S0019-9958(76)90206-0","volume":"32","author":"W Shukla","year":"1976","unstructured":"Shukla, W., Srivastava, A.K.: A topology for automata: a note. Inf. Control 32, 163\u2013168 (1976)","journal-title":"Inf. Control"},{"key":"1338_CR33","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/j.ins.2014.06.027","volume":"288","author":"JG Tang","year":"2014","unstructured":"Tang, J.G., Luo, M.K., Tang, J.: Result on the use of category theory for the study of lattice-valued finite state machines. Inf. Sci. 288, 279\u2013289 (2014)","journal-title":"Inf. Sci."},{"key":"1338_CR34","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/s12190-014-0782-5","volume":"47","author":"SP Tiwari","year":"2014","unstructured":"Tiwari, S.P., Yadav, V.K., Singh, A.K.: Construction of a minimal realization and monoid for a fuzzy language: a categorical approach. J. Appl. Math. Comput. 47, 401\u2013416 (2014)","journal-title":"J. Appl. Math. Comput."},{"key":"1338_CR35","doi-asserted-by":"crossref","first-page":"1057","DOI":"10.3233\/IFS-151828","volume":"30","author":"SP Tiwari","year":"2016","unstructured":"Tiwari, S.P., Yadav, V.K., Dubey, M.K.: Minimal realization for a fuzzy behaviour: a bicategory-theoretic approach. J. Intell. Fuzzy Syst. 30, 1057\u20131065 (2016)","journal-title":"J. Intell. Fuzzy Syst."},{"key":"1338_CR36","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1007\/3-540-07389-2_190","volume":"32","author":"V Trnkov\u00e1","year":"1975","unstructured":"Trnkov\u00e1, V.: Automata and categories. Lect. Notes Comput. Sci. 32, 160\u2013166 (1975)","journal-title":"Lect. Notes Comput. Sci."},{"key":"1338_CR37","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1007\/3-540-08442-8_101","volume":"56","author":"V Trnkov\u00e1","year":"1977","unstructured":"Trnkov\u00e1, V.: Relational automata in a category and their languages. Lect. Notes Comput. Sci. 56, 340\u2013355 (1977)","journal-title":"Lect. Notes Comput. Sci."},{"key":"1338_CR38","first-page":"215","volume":"5","author":"WG Wee","year":"1969","unstructured":"Wee, W.G., Fu, K.S.: A formulation of fuzzy automata and its application as a model of learning systems. IEEE Trans. Syst. Man Cybern. 5, 215\u2013223 (1969)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"1338_CR39","unstructured":"Wee W. G.: On generalizations of adaptive algorithm and application of the fuzzy sets concept to pattern classification. Ph.D. Thesis, Purdue University (1967)"},{"key":"1338_CR40","doi-asserted-by":"crossref","first-page":"1635","DOI":"10.1016\/j.fss.2009.12.011","volume":"161","author":"L Wu","year":"2010","unstructured":"Wu, L., Qiu, D.W.: Automata theory based on complete residuated lattice-valued logic: reduction and minimization. Fuzzy Sets Syst. 161, 1635\u20131656 (2010)","journal-title":"Fuzzy Sets Syst."},{"key":"1338_CR41","doi-asserted-by":"crossref","first-page":"1407","DOI":"10.1016\/j.fss.2007.01.008","volume":"158","author":"H Xing","year":"2007","unstructured":"Xing, H., Qiu, D.W., Liu, F., Fan, Z.: Equivalence in automata theory based on complete residuated lattice-valued logic. Fuzzy Sets Syst. 158, 1407\u20131422 (2007)","journal-title":"Fuzzy Sets Syst."},{"key":"1338_CR42","doi-asserted-by":"crossref","first-page":"2416","DOI":"10.1016\/j.fss.2009.01.007","volume":"160","author":"H Xing","year":"2009","unstructured":"Xing, H., Qiu, D.W.: Automata theory based on complete residuated lattice-valued logic: a categorical approach. Fuzzy Sets Syst. 160, 2416\u20132428 (2009)","journal-title":"Fuzzy Sets Syst."}],"container-title":["Journal of Applied Mathematics and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12190-020-01338-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12190-020-01338-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12190-020-01338-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,27]],"date-time":"2021-03-27T01:15:02Z","timestamp":1616807702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12190-020-01338-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,27]]},"references-count":42,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["1338"],"URL":"https:\/\/doi.org\/10.1007\/s12190-020-01338-3","relation":{},"ISSN":["1598-5865","1865-2085"],"issn-type":[{"value":"1598-5865","type":"print"},{"value":"1865-2085","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,3,27]]},"assertion":[{"value":"28 November 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 March 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}