{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:07:35Z","timestamp":1742969255934,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":33,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789811981517"},{"type":"electronic","value":"9789811981524"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-981-19-8152-4_1","type":"book-chapter","created":{"date-parts":[[2022,12,9]],"date-time":"2022-12-09T16:04:02Z","timestamp":1670601842000},"page":"3-25","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["General-Nondeterministic Fuzzy Pushdown Automata and\u00a0Their Languages"],"prefix":"10.1007","author":[{"given":"Fangping","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Chao","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,12,10]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/j.ins.2011.12.024","volume":"191","author":"Y Cao","year":"2012","unstructured":"Cao, Y., Ezawa, Y.: Nondeterministic fuzzy automata. Inf. Sci. 191, 86\u201397 (2012)","journal-title":"Inf. Sci."},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/j.measurement.2017.05.053","volume":"108","author":"S Crisan","year":"2017","unstructured":"Crisan, S., Tebrean, B.: Low cost, high quality vein pattern recognition device with liveness Detection. Workflow and implementations. Measurement 108, 207\u2013216 (2017)","journal-title":"Measurement"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.ins.2016.10.030","volume":"377","author":"Y Li","year":"2017","unstructured":"Li, Y., Droste, M., Lei, L.: Model checking of linear-time properties in multi-valued systems. Inf. Sci. 377, 51\u201374 (2017)","journal-title":"Inf. Sci."},{"issue":"4","key":"1_CR4","doi-asserted-by":"publisher","first-page":"2017","DOI":"10.1109\/TFUZZ.2017.2760278","volume":"26","author":"C Yang","year":"2018","unstructured":"Yang, C., Li, Y.: $$\\epsilon $$-bisimulation relations for fuzzy automata. IEEE Trans. Fuzzy Syst. 26(4), 2017\u20132029 (2018)","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"15","key":"1_CR5","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.fss.2019.07.010","volume":"391","author":"C Yang","year":"2020","unstructured":"Yang, C., Li, Y.: Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures. Fuzzy Sets Syst. 391(15), 72\u201395 (2020)","journal-title":"Fuzzy Sets Syst."},{"issue":"5","key":"1_CR6","doi-asserted-by":"publisher","first-page":"640","DOI":"10.1109\/TFUZZ.2002.803497","volume":"10","author":"M Ying","year":"2002","unstructured":"Ying, M.: A formal model of computing with words. IEEE Trans. Fuzzy Syst. 10(5), 640\u2013652 (2002)","journal-title":"IEEE Trans. Fuzzy Syst."},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"04020141","DOI":"10.1061\/(ASCE)CO.1943-7862.0001950","volume":"146","author":"PHD Nguyen","year":"2020","unstructured":"Nguyen, P.H.D., Tran, D.Q., Lines, B.C.: Empirical inference system for highway project delivery selection using fuzzy pattern recognition. J. Constr. Eng. Manag. 146, 04020141 (2020)","journal-title":"J. Constr. Eng. Manag."},{"key":"1_CR8","unstructured":"Wee, W.G.: On Generalizations of Adaptive Algorithm and Application of the Fuzzy Sets Concept to Pattern Classification. Purdue University, West Lafayette (1967). https:\/\/dl.acm.org\/doi\/book\/10.5555\/905166"},{"issue":"3","key":"1_CR9","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1109\/TFUZZ.2011.2117431","volume":"19","author":"Y Cao","year":"2015","unstructured":"Cao, Y., Chen, G., Kerre, E.: Bisimulations for fuzzy-transition systems. IEEE Trans. Fuzzy Syst. 19(3), 540\u2013552 (2015)","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"5","key":"1_CR10","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.: Finite automata theory with membership values in lattices. Inf. Sci. 181(5), 1003\u20131017 (2011)","journal-title":"Inf. Sci."},{"issue":"10","key":"1_CR11","doi-asserted-by":"publisher","first-page":"2416","DOI":"10.1109\/TFUZZ.2019.2937046","volume":"28","author":"Y Li","year":"2019","unstructured":"Li, Y., Shao, X., Tong, S.: Adaptive fuzzy prescribed performance control of non-triangular structure nonlinear systems. IEEE Trans. Fuzzy Syst. 28(10), 2416\u20132426 (2019)","journal-title":"IEEE Trans. Fuzzy Syst."},{"key":"1_CR12","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. Inf. Sci. 1, 421\u2013434 (1969)","journal-title":"Inf. Sci."},{"issue":"1\u20134","key":"1_CR13","first-page":"263","volume":"88","author":"DS Malik","year":"1994","unstructured":"Malik, D.S., Mordeson, J.N.: On fuzzy regular languages. Inf. Sci. 88(1\u20134), 263\u2013273 (1994)","journal-title":"Inf. Sci."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Mordeson, J.N., Malik, D.S.: Fuzzy Automata and Languages: Theory and Applications. Chapman & Hall\/CRC, Boca Raton (2002). https:\/\/www.abe.pl\/pl\/book\/9781584882251\/fuzzy-automata-languages-theory-applications","DOI":"10.1201\/9781420035643"},{"issue":"2","key":"1_CR15","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1080\/00207168108803274","volume":"10","author":"I Bucurescu","year":"1981","unstructured":"Bucurescu, I., Pascu, A.: Fuzzy pushdown automata. Int. J. Comput. Math. 10(2), 109\u2013119 (1981)","journal-title":"Int. J. Comput. Math."},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.jcss.2020.11.003","volume":"117","author":"L Clemente","year":"2021","unstructured":"Clemente, L., Lasota, S.: Reachability relations of timed pushdown automata. J. Comput. Syst. Sci. 117, 202\u2013241 (2021)","journal-title":"J. Comput. Syst. Sci."},{"key":"1_CR17","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, 1123\u20131131 (2019). https:\/\/doi.org\/10.1007\/s00500-017-2829-7","journal-title":"Soft. Comput."},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.ijar.2021.12.002","volume":"142","author":"M Ghorani","year":"2022","unstructured":"Ghorani, M., Garhwal, S., Moghari, S.: Lattice-valued tree pushdown automata: pumping lemma and closure properties. Int. J. Approximate Reasoning 142, 301\u2013323 (2022)","journal-title":"Int. J. Approximate Reasoning"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"1133","DOI":"10.1142\/S0129054120420071","volume":"31","author":"B Guillon","year":"2020","unstructured":"Guillon, B., Pighizzini, G., Prigioniero, L.: Non-self-embedding grammars, constant-height pushdown automata, and limited automata. Int. J. Found. Comput. Sci. 31, 1133\u20131157 (2020)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/j.jcss.2020.07.004","volume":"115","author":"P Jancar","year":"2021","unstructured":"Jancar, P.: Equivalence of pushdown automata via first-order grammars. J. Comput. Syst. Sci. 115, 86\u2013112 (2021)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1","key":"1_CR21","doi-asserted-by":"publisher","first-page":"249","DOI":"10.3233\/IFS-162138","volume":"31","author":"N Kalra","year":"2016","unstructured":"Kalra, N., Kumar, A.: Fuzzy state grammar and fuzzy deep pushdown automaton. J. Intell. Fuzzy Syst. 31(1), 249\u2013258 (2016)","journal-title":"J. Intell. Fuzzy Syst."},{"key":"1_CR22","first-page":"187","volume":"21","author":"L Su","year":"1992","unstructured":"Su, L.: Pushdown automata accepted fuzzy context free language. J. UEST China 21, 187\u2013190 (1992)","journal-title":"J. UEST China"},{"issue":"1","key":"1_CR23","doi-asserted-by":"publisher","first-page":"76","DOI":"10.5755\/j01.itc.50.1.25412","volume":"50","author":"Q Wu","year":"2021","unstructured":"Wu, Q., Wang, X., Wang, Y.: Application of fuzzy pushdown automaton on prediction of quality control for spinning yarn. Inf. Technol. Control 50(1), 76\u201388 (2021)","journal-title":"Inf. Technol. Control"},{"issue":"13","key":"1_CR24","doi-asserted-by":"publisher","first-page":"1437","DOI":"10.1016\/j.fss.2007.01.012","volume":"158","author":"H Xing","year":"2007","unstructured":"Xing, H.: Fuzzy pushdown automata. Fuzzy Sets Syst. 158(13), 1437\u20131449 (2007)","journal-title":"Fuzzy Sets Syst."},{"issue":"8","key":"1_CR25","doi-asserted-by":"publisher","first-page":"1125","DOI":"10.1016\/j.fss.2008.07.010","volume":"160","author":"H Xing","year":"2009","unstructured":"Xing, H., Qiu, D., Liu, F.: Automata theory based on complete residuated lattice-valued logic: pushdown automata. Fuzzy Sets Syst. 160(8), 1125\u20131140 (2009)","journal-title":"Fuzzy Sets Syst."},{"issue":"9","key":"1_CR26","first-page":"2107","volume":"21","author":"Z Han","year":"2010","unstructured":"Han, Z., Li, Y.: Pushdown automata and context-free grammars based on quantum logic. J. Softw. 21(9), 2107\u20132117 (2010)","journal-title":"J. Softw."},{"issue":"4","key":"1_CR27","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1109\/TFUZZ.2012.2230177","volume":"21","author":"Y Cao","year":"2013","unstructured":"Cao, Y., Ezawa, Y., Sun, S., Wang, H., Chen, G.: A behavioral distance for fuzzy-transition systems. IEEE Trans. Fuzzy Syst. 21(4), 735\u2013747 (2013)","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"9","key":"1_CR28","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1615\/JAutomatInfScien.v51.i9.40","volume":"51","author":"V Nithya","year":"2019","unstructured":"Nithya, V., Senthilkumar, S.: Detection and avoidance of input validation attacks in web application using deterministic push down automata. J. Autom. Inf. Sci. 51(9), 32\u201351 (2019)","journal-title":"J. Autom. Inf. Sci."},{"issue":"1\u20132","key":"1_CR29","first-page":"1","volume":"2","author":"J Esparza","year":"2006","unstructured":"Esparza, J., Kucera, A., Mayr, R.: Model checking probabilistic pushdown automata. Log. Methods Comput. Sci. 2(1\u20132), 1\u201331 (2006)","journal-title":"Log. Methods Comput. Sci."},{"key":"1_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01492-5","volume-title":"Handbook of Weighted Automata","author":"M Droste","year":"2009","unstructured":"Droste, M., Kuich, W., Vogler, H.: Handbook of Weighted Automata. Springer, Berlin (2009). https:\/\/doi.org\/10.1007\/978-3-642-01492-5"},{"key":"1_CR31","volume-title":"Fuzzy Computing Theory","author":"T Li","year":"2016","unstructured":"Li, T., Li, P.: Fuzzy Computing Theory. Academic Press, Beijing (2016)"},{"issue":"1\u20134","key":"1_CR32","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0020-0255(02)00192-5","volume":"143","author":"R B\u011bloh\u00e1vek","year":"2002","unstructured":"B\u011bloh\u00e1vek, R.: Determinism and fuzzy automata. Inf. Sci. 143(1\u20134), 205\u2013209 (2002)","journal-title":"Inf. Sci."},{"key":"1_CR33","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.fss.2013.08.002","volume":"249","author":"Y Li","year":"2014","unstructured":"Li, Y., Wang, Q.: The universal fuzzy automaton. Fuzzy Sets Syst. 249, 27\u201348 (2014)","journal-title":"Fuzzy Sets Syst."}],"container-title":["Communications in Computer and Information Science","Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-19-8152-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,9]],"date-time":"2022-12-09T16:11:30Z","timestamp":1670602290000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-19-8152-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9789811981517","9789811981524"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-981-19-8152-4_1","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"10 December 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NCTCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"National Conference of Theoretical Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Changchun","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 July 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 July 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"40","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nctcs2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.ccf.org.cn\/TCS2022","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"https:\/\/conf.ccf.org.cn\/TCS2022","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"58","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}