{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T13:48:35Z","timestamp":1772372915779,"version":"3.50.1"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"14","license":[{"start":{"date-parts":[[2016,1,30]],"date-time":"2016-01-30T00:00:00Z","timestamp":1454112000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1007\/s00500-016-2031-3","type":"journal-article","created":{"date-parts":[[2016,1,30]],"date-time":"2016-01-30T04:01:30Z","timestamp":1454126490000},"page":"3815-3825","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Coding tree languages based on lattice-valued logic"],"prefix":"10.1007","volume":"21","author":[{"given":"M.","family":"Ghorani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. M.","family":"Zahedi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,30]]},"reference":[{"issue":"4","key":"2031_CR1","doi-asserted-by":"crossref","first-page":"729","DOI":"10.1007\/s00500-011-0782-4","volume":"16","author":"KH Abolpour","year":"2012","unstructured":"Abolpour KH, Zahedi MM (2012) Isomorphism between two BL-general fuzzy automata. Soft Comput 16(4):729\u2013736","journal-title":"Soft Comput"},{"key":"2031_CR2","volume-title":"Lattice theory","author":"G Birkhoff","year":"1984","unstructured":"Birkhoff G (1984) Lattice theory. American Mathematical Society, Providence"},{"key":"2031_CR3","doi-asserted-by":"crossref","first-page":"716","DOI":"10.1016\/j.fss.2009.08.008","volume":"161","author":"S Bozapalidis","year":"2010","unstructured":"Bozapalidis S, Bozapalidoy OL (2010) Fuzzy tree language recognizability. Fuzzy Sets Syst 161:716\u2013734","journal-title":"Fuzzy Sets Syst"},{"key":"2031_CR4","unstructured":"Comon H, Dauchet M, Gilleron R, Jacquemard F, Lugiez D, Loding C, Tison S, Tommasi M (2007) Tree automata: technigues and applications. http:\/\/tata.gforge.inria.fr"},{"key":"2031_CR5","first-page":"365","volume":"12","author":"JE Doner","year":"1965","unstructured":"Doner JE (1965) Decidability of the weak second-order theory of two successors. Not Am Math Soc 12:365\u2013468","journal-title":"Not Am Math Soc"},{"key":"2031_CR6","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1016\/S0022-0000(70)80041-1","volume":"4","author":"JE Doner","year":"1970","unstructured":"Doner JE (1970) Tree acceptors and some of their applications. J Comput Syst Sci 4:406\u2013451","journal-title":"J Comput Syst Sci"},{"key":"2031_CR7","doi-asserted-by":"crossref","first-page":"1450","DOI":"10.1016\/j.fss.2007.02.016","volume":"158","author":"Z Esik","year":"2007","unstructured":"Esik Z, Liu G (2007) Fuzzy tree automata. Fuzzy Sets Syst 158:1450\u20131460","journal-title":"Fuzzy Sets Syst"},{"key":"2031_CR8","volume-title":"Tree automata","author":"F Gecseg","year":"1984","unstructured":"Gecseg F, Steinby M (1984) Tree automata. Akademiai Kiado, Budapest"},{"key":"2031_CR9","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1016\/j.fss.2011.11.010","volume":"199","author":"M Ghorani","year":"2012","unstructured":"Ghorani M, Zahedi MM (2012) Characterizations of complete residuated lattice-valued finite tree automata. Fuzzy Sets Syst 199:28\u201346","journal-title":"Fuzzy Sets Syst"},{"issue":"10","key":"2031_CR10","doi-asserted-by":"crossref","first-page":"1723","DOI":"10.1007\/s00500-012-0856-y","volume":"16","author":"M Ghorani","year":"2012","unstructured":"Ghorani M, Zahedi MM, Ameri R (2012) Algebraic properties of complete residuated lattice valued tree automata. Soft Comput 16(10):1723\u20131732","journal-title":"Soft Comput"},{"key":"2031_CR11","volume-title":"Fuzzy automata and decision processes","author":"MM Gupta","year":"1977","unstructured":"Gupta MM, Saridis GN, Gaines BR (1977) Fuzzy automata and decision processes. North-Holland, New York"},{"key":"2031_CR12","volume-title":"Introduction to automata theory, languages and computation","author":"JE Hopcroft","year":"1979","unstructured":"Hopcroft JE, Motwani R, Ullman JD (1979) Introduction to automata theory, languages and computation. Addison-Wesley, New York"},{"key":"2031_CR13","doi-asserted-by":"crossref","unstructured":"Inagaki Y, Fukumura T (1975) 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, Academic Press, New York, pp 301\u2013328","DOI":"10.1016\/B978-0-12-775260-0.50018-9"},{"issue":"8","key":"2031_CR14","doi-asserted-by":"crossref","first-page":"1415","DOI":"10.1007\/s00500-012-0845-1","volume":"16","author":"J Jin","year":"2012","unstructured":"Jin J, Li Q (2012) Fuzzy grammar theory based on lattices. Soft Comput 16(8):1415\u20131426","journal-title":"Soft Comput"},{"key":"2031_CR15","doi-asserted-by":"crossref","first-page":"1413","DOI":"10.1016\/j.ins.2006.07.015","volume":"177","author":"HX Lei","year":"2007","unstructured":"Lei HX, Li Y (2007) Minimization of states in automata theory based on finite lattice-ordered monoids. Inf Sci 177:1413\u20131421","journal-title":"Inf Sci"},{"issue":"13","key":"2031_CR16","doi-asserted-by":"crossref","first-page":"1423","DOI":"10.1016\/j.fss.2007.03.003","volume":"158","author":"YM Li","year":"2007","unstructured":"Li YM, Pedrycz W (2007) Minimization of lattice finite automata and its application to the decomposition of lattice languages. Fuzzy Sets Syst 158(13):1423\u20131436","journal-title":"Fuzzy Sets Syst"},{"issue":"16","key":"2031_CR17","first-page":"2748","volume":"249","author":"Y Li","year":"2013","unstructured":"Li Y, Wang Q (2013) The universal fuzzy automata. Fuzzy Sets Syst 249(16):2748","journal-title":"Fuzzy Sets Syst"},{"issue":"11","key":"2031_CR18","doi-asserted-by":"crossref","first-page":"1049","DOI":"10.1007\/s00500-007-0271-y","volume":"12","author":"C Liang","year":"2008","unstructured":"Liang C, Li Y (2008) Algebraic properties on the cuts of lattice-valued regular languages. Soft Comput 12(11):1049\u20131057","journal-title":"Soft Comput"},{"key":"2031_CR19","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/s00500-010-0565-3","volume":"15","author":"X Lu","year":"2011","unstructured":"Lu X, Shang Y, Lu R (2011) Automata theory based on lattice-ordered semirings. Soft Comput 15:269\u2013280","journal-title":"Soft Comput"},{"key":"2031_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7908-1838-3","volume-title":"Fuzzy discrete structures","author":"DS Malik","year":"2000","unstructured":"Malik DS, Mordeson JN (2000) Fuzzy discrete structures. Physica-Verlag, New York"},{"key":"2031_CR21","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1007\/s005000100156","volume":"6","author":"J Mockor","year":"2002","unstructured":"Mockor J (2002) Semigroup homomorphisms and fuzzy automata. Soft Comput 6:422\u2013427","journal-title":"Soft Comput"},{"key":"2031_CR22","doi-asserted-by":"crossref","unstructured":"Mordeson JN, Malik DS (2002) Fuzzy automata and languages: theory and applications. Chapman & Hall CRC, London","DOI":"10.1201\/9781420035643"},{"key":"2031_CR23","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19790250304","volume":"25","author":"J Pavelka","year":"1979","unstructured":"Pavelka J (1979a) On fuzzy logic I: many-valued rules of inferences. Z Math Logik Grundlagen Math 25:45\u201352","journal-title":"Z Math Logik Grundlagen Math"},{"key":"2031_CR24","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1002\/malq.19790250706","volume":"25","author":"J Pavelka","year":"1979","unstructured":"Pavelka J (1979b) On fuzzy logic II: enriched residuated lattices and semantics of propositional calculi. Z Math Logik Grundlagen Math 25:119\u2013134","journal-title":"Z Math Logik Grundlagen Math"},{"key":"2031_CR25","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1002\/malq.19790252510","volume":"25","author":"J Pavelka","year":"1979","unstructured":"Pavelka J (1979c) On fuzzy logic III: semantical completeness of some many-valued propositional calculi. Z Math Logik Grundlagen Math 25:447\u2013464","journal-title":"Z Math Logik Grundlagen Math"},{"issue":"6","key":"2031_CR26","first-page":"419","volume":"44","author":"DW Qiu","year":"2001","unstructured":"Qiu DW (2001) Automata theory based on completed residuated lattice-valued logic (I). Sci China (Ser F) 44(6):419\u2013429","journal-title":"Sci China (Ser F)"},{"issue":"6","key":"2031_CR27","first-page":"442","volume":"45","author":"DW Qiu","year":"2002","unstructured":"Qiu DW (2002) Automata theory based on completed residuated lattice-valued logic (II). Sci China (Ser F) 45(6):442\u2013452","journal-title":"Sci China (Ser F)"},{"key":"2031_CR28","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1016\/S0165-0114(03)00202-1","volume":"141","author":"DW Qiu","year":"2004","unstructured":"Qiu DW (2004) Characterizations of fuzzy finite automata. Fuzzy Sets Syst 141:391\u2013414","journal-title":"Fuzzy Sets Syst"},{"key":"2031_CR29","doi-asserted-by":"crossref","first-page":"2128","DOI":"10.1016\/j.fss.2006.03.014","volume":"157","author":"DW Qiu","year":"2006","unstructured":"Qiu DW (2006) Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note. Fuzzy Sets Syst 157:2128\u20132138","journal-title":"Fuzzy Sets Syst"},{"key":"2031_CR30","doi-asserted-by":"crossref","first-page":"847","DOI":"10.1007\/s00500-006-0136-9","volume":"11","author":"Y Shang","year":"2007","unstructured":"Shang Y, Lu R (2007) Semirings and pseudo MV algebras. Soft Comput 11:847\u2013853","journal-title":"Soft Comput"},{"key":"2031_CR31","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF01691346","volume":"2","author":"JW Thatcher","year":"1968","unstructured":"Thatcher JW, Wright JB (1968) Generalized finite automata with an application to a decision problem of second-order logic. Math Syst Theory 2:57\u201382","journal-title":"Math Syst Theory"},{"key":"2031_CR32","doi-asserted-by":"crossref","DOI":"10.1515\/9783112733356","volume-title":"The concept of fuzziness in automata and language theory","author":"W Wechler","year":"1978","unstructured":"Wechler W (1978) The concept of fuzziness in automata and language theory. Akademie-Verlag, Berlin"},{"key":"2031_CR33","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 DW (2010) Automata theory based on completed residuated lattice-valued logic: reduction and minimization. Fuzzy Sets Syst 161:1635\u20131656","journal-title":"Fuzzy Sets Syst"},{"key":"2031_CR34","doi-asserted-by":"crossref","first-page":"1141","DOI":"10.1016\/j.fss.2008.06.016","volume":"160","author":"HY Xing","year":"2009","unstructured":"Xing HY, Qiu DW (2009) Pumping lemma in context-free grammar theory based on complete residuated lattice-valued logic. Fuzzy Sets Syst 160:1141\u20131151","journal-title":"Fuzzy Sets Syst"},{"key":"2031_CR35","doi-asserted-by":"crossref","first-page":"1125","DOI":"10.1016\/j.fss.2008.07.010","volume":"160","author":"HY Xing","year":"2009","unstructured":"Xing HY, Qiu DW, Liu FC (2009) Automata theory based on complete residuated lattice-valued logic: pushdown automata. Fuzzy Sets Syst 160:1125\u20131140","journal-title":"Fuzzy Sets Syst"},{"key":"2031_CR36","doi-asserted-by":"crossref","first-page":"1407","DOI":"10.1016\/j.fss.2007.01.008","volume":"158","author":"HY Xing","year":"2007","unstructured":"Xing HY, Qiu DW, Liu FC, Fan ZJ (2007) Equivalence in automata theory based on complete residuated lattice-valued logic. Fuzzy Sets Syst 158:1407\u20131422","journal-title":"Fuzzy Sets Syst"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-016-2031-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2031-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2031-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2031-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T08:07:38Z","timestamp":1748765258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-016-2031-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,30]]},"references-count":36,"journal-issue":{"issue":"14","published-print":{"date-parts":[[2017,7]]}},"alternative-id":["2031"],"URL":"https:\/\/doi.org\/10.1007\/s00500-016-2031-3","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,1,30]]}}}