{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T13:48:36Z","timestamp":1772372916137,"version":"3.50.1"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,9,14]],"date-time":"2017-09-14T00:00:00Z","timestamp":1505347200000},"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":[[2019,2]]},"DOI":"10.1007\/s00500-017-2829-7","type":"journal-article","created":{"date-parts":[[2017,9,14]],"date-time":"2017-09-14T06:11:07Z","timestamp":1505369467000},"page":"1123-1131","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["On characterization of fuzzy tree pushdown automata"],"prefix":"10.1007","volume":"23","author":[{"given":"M.","family":"Ghorani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,14]]},"reference":[{"issue":"4","key":"2829_CR1","doi-asserted-by":"publisher","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":"2829_CR2","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 OL (2010) Fuzzy tree language recognizability. Fuzzy Sets Syst 161:716\u2013734","journal-title":"Fuzzy Sets Syst"},{"key":"2829_CR3","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/S0019-9958(69)90065-5","volume":"14","author":"WS Brainerd","year":"1969","unstructured":"Brainerd WS (1969) Tree generating regular systems. Inf Control 14:217\u2013231","journal-title":"Inf Control"},{"issue":"17","key":"2829_CR4","first-page":"1","volume":"56","author":"SR Chaudhari","year":"2012","unstructured":"Chaudhari SR, Joshi MN (2012) A note on fuzzy tree automata. Int J Comput Appl 56(17):1\u20135","journal-title":"Int J Comput Appl"},{"key":"2829_CR5","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0019-9958(59)90362-6","volume":"2","author":"N Chomsky","year":"1959","unstructured":"Chomsky N (1959) On certain formal properties of grammars. Inf control 2:137\u2013167","journal-title":"Inf control"},{"key":"2829_CR6","unstructured":"Comon H, Dauchet M, Gilleron R, Jacquemard F, Lugiez D, Loding C, Tison S, Tommasi M (2007) Tree automata: techniques and applications. \n                    http:\/\/tata.gforge.inria.fr"},{"key":"2829_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 JE (1970) Tree acceptors and some of their applications. J Comput Syst Sci 4:406\u2013451","journal-title":"J Comput Syst Sci"},{"key":"2829_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 SC (2005) New directions in fuzzy automata. Int J Approx Reason 38:175\u2013214","journal-title":"Int J Approx Reason"},{"key":"2829_CR9","volume-title":"Grammatical picture generation. A tree-based approach, texts in theoretical computer science, an EATCS series","author":"F Drewes","year":"2006","unstructured":"Drewes F (2006) Grammatical picture generation. A tree-based approach, texts in theoretical computer science, an EATCS series. Springer, Berlin"},{"key":"2829_CR10","doi-asserted-by":"publisher","first-page":"1450","DOI":"10.1016\/j.fss.2007.02.016","volume":"158","author":"Z \u00c9sik","year":"2007","unstructured":"\u00c9sik Z, Liu G (2007) Fuzzy tree automata. Fuzzy Sets Syst 158:1450\u20131460","journal-title":"Fuzzy Sets Syst"},{"key":"2829_CR11","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 MM (2012) Characterizations of complete residuated lattice-valued finite tree automata. Fuzzy Sets Syst 199:28\u201346","journal-title":"Fuzzy Sets Syst"},{"issue":"2","key":"2829_CR12","first-page":"71","volume":"13","author":"M Ghorani","year":"2016","unstructured":"Ghorani M, Zahedi MM (2016) Alternating regular tree grammars in the framework of lattice-valued logic. Iran J Fuzzy Syst 13(2):71\u201394","journal-title":"Iran J Fuzzy Syst"},{"key":"2829_CR13","doi-asserted-by":"crossref","unstructured":"Ghorani M, Zahedi MM (2017) Coding tree languages based on lattice valued logic. Soft Comput 21(14):3815\u20133825","DOI":"10.1007\/s00500-016-2031-3"},{"issue":"10","key":"2829_CR14","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 MM, Ameri R (2012) Algebraic properties of complete residuated lattice valued tree automata. Soft Comput 16(10):1723\u20131732","journal-title":"Soft Comput"},{"key":"2829_CR15","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/3-540-56503-5_50","volume":"665","author":"R Gilleron","year":"1993","unstructured":"Gilleron R, Tison S, Tommasi M (1993) Solving systems of set constraints using tree automata. Lect Notes Comput Sci 665:505\u2013514","journal-title":"Lect Notes Comput Sci"},{"key":"2829_CR16","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1016\/j.ins.2007.08.003","volume":"178","author":"J Ignjatovic","year":"2008","unstructured":"Ignjatovic J, \u0106iri\u0107 M, Bogdanovic S (2008) Determinization of fuzzy automata with membership values in complete residuated lattices. Inf Sci 178:164\u2013180","journal-title":"Inf Sci"},{"key":"2829_CR17","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, Proceedings of U.S. Japan Seminar, University of California, Berkeley, CA, 1974, Academic Press, New York, pp. 301\u2013328","DOI":"10.1016\/B978-0-12-775260-0.50018-9"},{"key":"2829_CR18","first-page":"67","volume":"49","author":"S Lan","year":"1992","unstructured":"Lan S (1992) A machine accepted fuzzy context-free languages-fuzzy pushdown automata. BUSEFAL 49:67\u201372","journal-title":"BUSEFAL"},{"key":"2829_CR19","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1016\/0020-0255(69)90025-5","volume":"1","author":"ET Lee","year":"1969","unstructured":"Lee ET, Zadeh LA (1969) Note on fuzzy languages. Inf Sci 1:421\u2013434","journal-title":"Inf Sci"},{"issue":"5","key":"2829_CR20","doi-asserted-by":"publisher","first-page":"1003","DOI":"10.1016\/j.ins.2010.11.006","volume":"181","author":"Y Li","year":"2011","unstructured":"Li Y (2011) Finite automata theory with membership values in lattices. Inf Sci 181(5):1003\u20131017","journal-title":"Inf Sci"},{"issue":"6","key":"2829_CR21","doi-asserted-by":"publisher","first-page":"2034","DOI":"10.1109\/TFUZZ.2015.2396537","volume":"23","author":"YM Li","year":"2015","unstructured":"Li YM, Ma ZY (2015) Quantitative computational tree logic model checking based on generalized possibility measures. IEEE Trans Fuzzy Syst 23(6):2034\u20132047","journal-title":"IEEE Trans Fuzzy Syst"},{"issue":"2","key":"2829_CR22","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 (2015) On the state minimization of fuzzy automata. IEEE Trans Fuzzy Syst 23(2):434\u2013443","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"2829_CR23","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/j.fss.2014.03.009","volume":"262","author":"YM Li","year":"2015","unstructured":"Li YM, Li YL, Ma ZY (2015) Computation tree logic model checking based on possibility measures. Fuzzy Sets Syst 262:44\u201359","journal-title":"Fuzzy Sets Syst"},{"key":"2829_CR24","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0019-9958(67)90353-1","volume":"11","author":"J Mezei","year":"1967","unstructured":"Mezei J, Wright JB (1967) Algebraic automata and context-free sets. Inf Control 11:3\u201329","journal-title":"Inf Control"},{"issue":"5","key":"2829_CR25","first-page":"59","volume":"8","author":"S Moghari","year":"2011","unstructured":"Moghari S, Zahedi MM, Ameri R (2011) New direction in fuzzy tree automata. Iran J Fuzzy Syst 8(5):59\u201368","journal-title":"Iran J Fuzzy Syst"},{"key":"2829_CR26","doi-asserted-by":"publisher","DOI":"10.1201\/9781420035643","volume-title":"Fuzzy automata and languages: theory and applications","author":"JN Mordeson","year":"2002","unstructured":"Mordeson JN, Malik DS (2002) Fuzzy automata and languages: theory and applications. Chapman & Hall CRC, London"},{"issue":"1","key":"2829_CR27","doi-asserted-by":"publisher","first-page":"249","DOI":"10.3233\/IFS-162138","volume":"31","author":"K Nidhi","year":"2016","unstructured":"Nidhi K, Ajay K (2016) Fuzzy state grammar and fuzzy deep pushdown automaton. J Intell Fuzzy Syst 31(1):249\u2013258","journal-title":"J Intell Fuzzy Syst"},{"key":"2829_CR28","doi-asserted-by":"crossref","unstructured":"Pan PY, Li YM, Cao YZ, Ma ZY (2015) Model checking fuzzy computation tree logic. Fuzzy Sets Syst 262:60\u201377","DOI":"10.1016\/j.fss.2014.07.008"},{"key":"2829_CR29","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.tcs.2015.10.014","volume":"612","author":"HY Pan","year":"2016","unstructured":"Pan HY, Li YM, Cao YZ, Ma ZY (2016) Model checking computation tree logic over finite lattices. Theor Comput Sci 612:45\u201362","journal-title":"Theor Comput Sci"},{"key":"2829_CR30","doi-asserted-by":"publisher","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"},{"issue":"3","key":"2829_CR31","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1016\/0022-0000(88)90014-1","volume":"37","author":"K Salomaa","year":"1988","unstructured":"Salomaa K (1988) Deterministic tree pushdown automata and monadic tree rewriting systems. J Comput Syst Sci 37(3):367\u2013394","journal-title":"J Comput Syst Sci"},{"key":"2829_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 ES (1968) Maximin automata. Inf Control 12:367\u2013377","journal-title":"Inf Control"},{"key":"2829_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 ES (1972) On reduction of maxmin machines. J Math Anal Appl 37:677\u2013686","journal-title":"J Math Anal Appl"},{"key":"2829_CR34","unstructured":"Schimpf KM (1982) A parsing method for context-free tree languages. Ph.D. dissertation, University of Pennsylvania, Philadelphia, PA"},{"issue":"1","key":"2829_CR35","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0022-0000(85)90002-9","volume":"30","author":"KM Schimpf","year":"1985","unstructured":"Schimpf KM, Gallier JH (1985) Tree pushdown automata. J Comput Syst Sci 30(1):25\u201340","journal-title":"J Comput Syst Sci"},{"issue":"3","key":"2829_CR36","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/j.jcss.2006.10.003","volume":"73","author":"T Schwentick","year":"2007","unstructured":"Schwentick T (2007) Automata for XMLA survey. J Comput Syst Sci 73(3):289\u2013315","journal-title":"J Comput Syst Sci"},{"issue":"9","key":"2829_CR37","doi-asserted-by":"publisher","first-page":"3505","DOI":"10.1007\/s00500-015-1969-x","volume":"20","author":"M Shamsizadeh","year":"2016","unstructured":"Shamsizadeh M, Zahedi MM (2016) Intuitionistic general fuzzy automata. Soft Comput 20(9):3505\u20133519","journal-title":"Soft Comput"},{"key":"2829_CR38","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/BF01691346","volume":"2","author":"JW Thatcher","year":"1968","unstructured":"Thatcher JW, Wright JB (1968) Generalized finite automata theory with an application to a decision-problem of second order logic. Math Syst Theory 2:57\u201381","journal-title":"Math Syst Theory"},{"key":"2829_CR39","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1109\/TSMC.1974.5409123","volume":"4","author":"MG Thomason","year":"1974","unstructured":"Thomason MG, Marinos PN (1974) Deterministic acceptors of regular fuzzy languages. IEEE Trans Syst Man Cybern 4:228\u2013230","journal-title":"IEEE Trans Syst Man Cybern"},{"issue":"3","key":"2829_CR40","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/s00500-012-0913-6","volume":"17","author":"J Wang","year":"2013","unstructured":"Wang J, Yin M, Gu W (2013) Fuzzy multiset finite automata and their languages. Soft Comput 17(3):381\u2013390","journal-title":"Soft Comput"},{"key":"2829_CR41","first-page":"215","volume":"5","author":"WG Wee","year":"1969","unstructured":"Wee WG, Fu KS (1969) A formulation of fuzzy automata and its application as a model of learning systems. IEEE Trans Syst Man Cybern 5:215\u2013223","journal-title":"IEEE Trans Syst Man Cybern"},{"issue":"13","key":"2829_CR42","doi-asserted-by":"publisher","first-page":"1437","DOI":"10.1016\/j.fss.2007.01.012","volume":"158","author":"HY Xing","year":"2007","unstructured":"Xing HY (2007) Fuzzy pushdown automata. Fuzzy Sets Syst 158(13):1437\u20131449","journal-title":"Fuzzy Sets Syst"},{"issue":"8","key":"2829_CR43","doi-asserted-by":"publisher","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(8):1141\u20131151","journal-title":"Fuzzy Sets Syst"},{"issue":"8","key":"2829_CR44","doi-asserted-by":"publisher","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(8):1125\u20131140","journal-title":"Fuzzy Sets Syst"},{"issue":"6","key":"2829_CR45","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1007\/s00500-008-0338-4","volume":"13","author":"X Zhang","year":"2009","unstructured":"Zhang X, Li Y (2009) Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata. Soft Comput 13(6):611\u2013616","journal-title":"Soft Comput"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-017-2829-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2829-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2829-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T01:03:41Z","timestamp":1549415021000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-017-2829-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,14]]},"references-count":45,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["2829"],"URL":"https:\/\/doi.org\/10.1007\/s00500-017-2829-7","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,9,14]]},"assertion":[{"value":"14 September 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The author declares that she has no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by the author.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}