{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:40:34Z","timestamp":1740148834368,"version":"3.37.3"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,3,31]],"date-time":"2021-03-31T00:00:00Z","timestamp":1617148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,3,31]],"date-time":"2021-03-31T00:00:00Z","timestamp":1617148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J. Appl. Math. Comput."],"published-print":{"date-parts":[[2022,2]]},"DOI":"10.1007\/s12190-021-01529-6","type":"journal-article","created":{"date-parts":[[2021,3,31]],"date-time":"2021-03-31T04:05:16Z","timestamp":1617163516000},"page":"461-478","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Decidability of the minimization of fuzzy tree automata with membership values in complete lattices"],"prefix":"10.1007","volume":"68","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8673-6670","authenticated-orcid":false,"given":"Maryam","family":"Ghorani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Somaye","family":"Moghari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,3,31]]},"reference":[{"key":"1529_CR1","doi-asserted-by":"crossref","unstructured":"Abolpour, K.H., Zahedi, M.M., Shamsizadeh, M.: BL-general fuzzy automata and accept behavior. J. Appl. Math. Comput. 38 103\u2013118 (2012)","DOI":"10.1007\/s12190-010-0466-8"},{"key":"1529_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2018.01.004","volume":"744","author":"P Babari","year":"2018","unstructured":"Babari, P., Droste, M., Perevoshchikov, V.: Weighted register automata and weighted logic on data words. Theoret. Comput. Sci. 744, 3\u201321 (2018)","journal-title":"Theoret. Comput. Sci."},{"key":"1529_CR3","volume-title":"Lattice Theory","author":"G Birkhof","year":"1984","unstructured":"Birkhof, G.: Lattice Theory. American Mathematical Society, Providence (1984)"},{"key":"1529_CR4","doi-asserted-by":"publisher","first-page":"716","DOI":"10.1016\/j.fss.2009.08.008","volume":"161","author":"S Bozapalidis","year":"2010","unstructured":"Bozapalidis, S., Bozapalidoy, O.L.: Fuzzy tree language recognizability. Fuzzy Sets Syst. 161, 716\u2013734 (2010)","journal-title":"Fuzzy Sets Syst."},{"key":"1529_CR5","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/S0165-0114(02)00607-3","volume":"141","author":"W Cheng","year":"2004","unstructured":"Cheng, W., Mo, Z.W.: Minimization algorithm of fuzzy finite automata. Fuzzy Sets Syst. 141, 439\u2013448 (2004)","journal-title":"Fuzzy Sets Syst."},{"key":"1529_CR6","unstructured":"Comon, H., Dauchet, M., Gilleron, R., Jacquemard, F., Lugiez, D., Loding, C., Tison, S., Tommasi, M.: Tree Automata: Technigues and Applications (2007). http:\/\/tata.gforge.inria.fr"},{"key":"1529_CR7","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1016\/S0022-0000(70)80041-1","volume":"4","author":"JE Doner","year":"1970","unstructured":"Doner, J.E.: Tree acceptors and some of their applications. J. Comput. Syst. Sci. 4, 406\u2013451 (1970)","journal-title":"J. Comput. Syst. Sci."},{"key":"1529_CR8","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/j.ijar.2004.08.001","volume":"38","author":"M Doostfatemeh","year":"2005","unstructured":"Doostfatemeh, M., Kremer, S.C.: New directions in fuzzy automata. Int. J. Approx. Reason. 38, 175\u2013214 (2005)","journal-title":"Int. J. Approx. Reason."},{"key":"1529_CR9","doi-asserted-by":"publisher","first-page":"771","DOI":"10.1007\/s12190-020-01338-3","volume":"63","author":"MK Dubey","year":"2020","unstructured":"Dubey, M.K., Tiwari, S.P., Sostak, A.: Categories of quantale-valued fuzzy automata: determinization and minimization. J. Appl. Math. Comput. 63, 771\u2013785 (2020)","journal-title":"J. Appl. Math. Comput."},{"key":"1529_CR10","doi-asserted-by":"publisher","first-page":"1450","DOI":"10.1016\/j.fss.2007.02.016","volume":"158","author":"Z Esik","year":"2007","unstructured":"Esik, Z., Liu, G.: Fuzzy tree automata. Fuzzy Sets Syst. 158, 1450\u20131460 (2007)","journal-title":"Fuzzy Sets Syst."},{"issue":"37","key":"1529_CR11","doi-asserted-by":"publisher","first-page":"3539","DOI":"10.1016\/j.tcs.2009.03.022","volume":"410","author":"J Hogberg","year":"2009","unstructured":"Hogberg, J., Maletti, A., May, J.: Backward and forward bisimulation minimization of tree automata. Theoret. Comput. Sci. 410(37), 3539\u20133552 (2009)","journal-title":"Theoret. Comput. Sci."},{"key":"1529_CR12","doi-asserted-by":"crossref","unstructured":"Inagaki, Y., Fukumura, T.: On the description of fuzzy meaning of context-free language. In: Fuzzy Sets and Their Applications to Cognitive and Decision Processes, Proc. U.S. Japan Seminar, University of California, Berkeley, CA, 1974, Academic Press, New York (1975), pp. 301\u2013328","DOI":"10.1016\/B978-0-12-775260-0.50018-9"},{"issue":"4","key":"1529_CR13","doi-asserted-by":"publisher","first-page":"1123","DOI":"10.1007\/s00500-017-2829-7","volume":"23","author":"M Ghorani","year":"2019","unstructured":"Ghorani, M.: On characterization of fuzzy tree pushdown automata. Soft. Comput. 23(4), 1123\u20131131 (2019)","journal-title":"Soft. Comput."},{"issue":"1","key":"1529_CR14","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1051\/ita\/2018004","volume":"52","author":"M Ghorani","year":"2018","unstructured":"Ghorani, M.: State hyperstructures of tree automata based on lattice-valued logic. RAIRO-Theor. Inform. Appl. 52(1), 23\u201342 (2018)","journal-title":"RAIRO-Theor. Inform. Appl."},{"issue":"7","key":"1529_CR15","first-page":"103","volume":"15","author":"M Ghorani","year":"2018","unstructured":"Ghorani, M.: Tree automata based on complete residuated lattice-valued logic: reduction algorithm and decision problem. Iran. J. Fuzzy Syst. 15(7), 103\u2013119 (2018)","journal-title":"Iran. J. Fuzzy Syst."},{"key":"1529_CR16","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1016\/j.fss.2011.11.010","volume":"199","author":"M Ghorani","year":"2012","unstructured":"Ghorani, M., Zahedi, M.M.: Characterizations of complete residuated lattice-valued finite tree automata. Fuzzy Sets Syst. 199, 28\u201346 (2012)","journal-title":"Fuzzy Sets Syst."},{"issue":"2","key":"1529_CR17","first-page":"71","volume":"13","author":"M Ghorani","year":"2016","unstructured":"Ghorani, M., Zahedi, M.M.: Alternating regular tree grammars in the framework of lattice-valued logic. Iran. J. Fuzzy Syst. 13(2), 71\u201394 (2016)","journal-title":"Iran. J. Fuzzy Syst."},{"issue":"14","key":"1529_CR18","doi-asserted-by":"publisher","first-page":"3815","DOI":"10.1007\/s00500-016-2031-3","volume":"21","author":"M Ghorani","year":"2017","unstructured":"Ghorani, M., Zahedi, M.M.: Coding tree languages based on lattice valued logic. Soft. Comput. 21(14), 3815\u20133825 (2017)","journal-title":"Soft. Comput."},{"issue":"10","key":"1529_CR19","doi-asserted-by":"publisher","first-page":"1723","DOI":"10.1007\/s00500-012-0856-y","volume":"16","author":"M Ghorani","year":"2012","unstructured":"Ghorani, M., Zahedi, M.M., Ameri, R.: Algebraic properties of complete residuated lattice valued tree automata. Soft. Comput. 16(10), 1723\u20131732 (2012)","journal-title":"Soft. Comput."},{"key":"1529_CR20","unstructured":"Jurvanen, E., Steinby, M.: Fuzzy deterministic top-down tree automata (2019). arXiv:1911.11529v1"},{"key":"1529_CR21","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1016\/0020-0255(69)90025-5","volume":"1","author":"ET Lee","year":"1969","unstructured":"Lee, E.T., Zadeh, L.A.: Note on fuzzy languages. Inform. Sci. 1, 421\u2013434 (1969)","journal-title":"Inform. Sci."},{"issue":"16","key":"1529_CR22","first-page":"57","volume":"42","author":"HX Lei","year":"2006","unstructured":"Lei, H.X., Li, Y.: Reduction and minimization algorithm of synchronous lattice-valued automata. Comput. Eng. Appl. 42(16), 57\u201360 (2006)","journal-title":"Comput. Eng. Appl."},{"key":"1529_CR23","doi-asserted-by":"publisher","first-page":"1413","DOI":"10.1016\/j.ins.2006.07.015","volume":"177","author":"HX Lei","year":"2007","unstructured":"Lei, H.X., Li, Y.: Minimization of states in automata theory based on finite lattice-ordered monoids. Inf. Sci. 177, 1413\u20131421 (2007)","journal-title":"Inf. Sci."},{"issue":"6","key":"1529_CR24","doi-asserted-by":"publisher","first-page":"2034","DOI":"10.1109\/TFUZZ.2015.2396537","volume":"23","author":"Y Li","year":"2015","unstructured":"Li, Y., Ma, Z.: Quantitative computational tree logic model checking based on generalized possibility measures. IEEE Trans. Fuzzy Syst. 23(6), 2034\u20132047 (2015)","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"13","key":"1529_CR25","doi-asserted-by":"publisher","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(13), 1423\u20131436 (2007)","journal-title":"Fuzzy Sets Syst."},{"issue":"2","key":"1529_CR26","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1109\/TFUZZ.2014.2315620","volume":"23","author":"L Li","year":"2015","unstructured":"Li, L., Qiu, D.: On the state minimization of fuzzy automata. IEEE Trans. Fuzzy Syst. 23(2), 434\u2013443 (2015)","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"1","key":"1529_CR27","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/s12190-015-0877-7","volume":"50","author":"S Moghari","year":"2016","unstructured":"Moghari, S., Zahedi, M.M.: Similarity-based minimization of fuzzy tree automata. J. Appl. Math. Comput. 50(1), 417\u2013436 (2016)","journal-title":"J. Appl. Math. Comput."},{"issue":"5","key":"1529_CR28","first-page":"155","volume":"16","author":"S Moghari","year":"2019","unstructured":"Moghari, S., Zahedi, M.M.: Multidimensional fuzzy finite tree automata. Iran. J. Fuzzy Syst. 16(5), 155\u2013167 (2019)","journal-title":"Iran. J. Fuzzy Syst."},{"key":"1529_CR29","volume-title":"Fuzzy Autom. Lang. Theory Appl.","author":"JN Mordeson","year":"2002","unstructured":"Mordeson, J.N., Malik, D.S.: Fuzzy Autom. Lang. Theory Appl. Chapman & Hall CRC, London, BocaRaton (2002)"},{"key":"1529_CR30","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.tcs.2015.10.014","volume":"612","author":"HY Pan","year":"2016","unstructured":"Pan, H.Y., Li, Y., Cao, Y.Z., Ma, Z.: Model checking computation tree logic over finite lattices. Theoret. Comput. Sci. 612, 45\u201362 (2016)","journal-title":"Theoret. Comput. Sci."},{"key":"1529_CR31","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1016\/S0165-0114(03)00202-1","volume":"141","author":"DW Qiu","year":"2004","unstructured":"Qiu, D.W.: Characterizations of fuzzy finite automata. Fuzzy Sets Syst. 141, 391\u2013414 (2004)","journal-title":"Fuzzy Sets Syst."},{"key":"1529_CR32","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1016\/S0019-9958(68)90123-X","volume":"12","author":"ES Santos","year":"1968","unstructured":"Santos, E.S.: Maximin automata. Inform. Control 12, 367\u2013377 (1968)","journal-title":"Inform. Control"},{"key":"1529_CR33","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1016\/0022-247X(72)90250-8","volume":"37","author":"ES Santos","year":"1972","unstructured":"Santos, E.S.: On reduction of maxmin machines. J. Math. Anal. Appl. 37, 677\u2013686 (1972)","journal-title":"J. Math. Anal. Appl."},{"issue":"20","key":"1529_CR34","doi-asserted-by":"publisher","first-page":"9843","DOI":"10.1007\/s00500-019-03812-y","volume":"23","author":"M Shamsizadeh","year":"2019","unstructured":"Shamsizadeh, M., Zahedi, M.M.: Bisimulation of type 2 for BL-general fuzzy automata. Soft. Comput. 23(20), 9843\u20139852 (2019)","journal-title":"Soft. Comput."},{"key":"1529_CR35","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/BF01691346","volume":"2","author":"JW Thatcher","year":"1968","unstructured":"Thatcher, J.W., Wright, J.B.: Generalized finite automata theory with an application to a decision-problem of second order logic. Math. Syst. Theory 2, 57\u201381 (1968)","journal-title":"Math. Syst. Theory"},{"key":"1529_CR36","doi-asserted-by":"crossref","unstructured":"Thomason, M.G., Marinos, P.N.: Deterministic acceptors of regular fuzzy languages. IEEE Trans. Syst. Man Cybern. 4 (1974) 228\u2013230","DOI":"10.1109\/TSMC.1974.5409123"},{"key":"1529_CR37","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. Systems Man Cybern. 5, 215\u2013223 (1969)","journal-title":"IEEE Trans. Systems Man Cybern."},{"key":"1529_CR38","doi-asserted-by":"publisher","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 completed residuated lattice-valued logic: reduction and minimization. Fuzzy Sets Syst. 161, 1635\u20131656 (2010)","journal-title":"Fuzzy Sets Syst."},{"key":"1529_CR39","doi-asserted-by":"publisher","first-page":"1407","DOI":"10.1016\/j.fss.2007.01.008","volume":"158","author":"HY Xing","year":"2007","unstructured":"Xing, H.Y., Qiu, D.W., Liu, F.C., Fan, Z.J.: Equivalence in automata theory based on complete residuated lattice-valued logic. Fuzzy Sets Syst. 158, 1407\u20131422 (2007)","journal-title":"Fuzzy Sets Syst."}],"container-title":["Journal of Applied Mathematics and Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s12190-021-01529-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s12190-021-01529-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s12190-021-01529-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,25]],"date-time":"2022-01-25T15:27:52Z","timestamp":1643124472000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s12190-021-01529-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3,31]]},"references-count":39,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,2]]}},"alternative-id":["1529"],"URL":"https:\/\/doi.org\/10.1007\/s12190-021-01529-6","relation":{},"ISSN":["1598-5865","1865-2085"],"issn-type":[{"type":"print","value":"1598-5865"},{"type":"electronic","value":"1865-2085"}],"subject":[],"published":{"date-parts":[[2021,3,31]]},"assertion":[{"value":"15 November 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 February 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 March 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 March 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}