{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:33:18Z","timestamp":1726043598263},"publisher-location":"Singapore","reference-count":29,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811501043"},{"type":"electronic","value":"9789811501050"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-981-15-0105-0_5","type":"book-chapter","created":{"date-parts":[[2019,8,31]],"date-time":"2019-08-31T11:02:36Z","timestamp":1567249356000},"page":"64-75","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An Improved Proof of the Closure Under Homomorphic Inverse of FCFL Valued in Lattice-Ordered Monoids"],"prefix":"10.1007","author":[{"given":"Haihui","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luyao","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ping","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,1]]},"reference":[{"key":"5_CR1","first-page":"294","volume":"42","author":"U Alasdair","year":"1997","unstructured":"Alasdair, U.: Balbes Raymond and Dwinger Philip. Distributive lattices. University of Missouri Press, Columbia 1974, xiii + 294 pp. J. Symb. Logic 42, 294\u2013588 (1997)","journal-title":"J. Symb. Logic"},{"issue":"2","key":"5_CR2","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1016\/S0304-3975(01)00354-1","volume":"293","author":"PRJ Asveld","year":"2003","unstructured":"Asveld, P.R.J.: Algebraic aspects of families of fuzzy languages. Theoret. Comput. Sci. 293(2), 417\u2013445 (2003)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"5_CR3","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/j.tcs.2005.06.012","volume":"347","author":"PRJ Asveld","year":"2005","unstructured":"Asveld, P.R.J.: Fuzzy context-free languages part 1: generalized fuzzy context-free grammars. Theoret. Comput. Sci. 347(1), 167\u2013190 (2005)","journal-title":"Theoret. Comput. Sci."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Depalma, G.F., Yau, S.S.: Fractionally fuzzy grammars with application to pattern recognition. In: Fuzzy Sets & Their Applications to Cognitive & Decision Processes, pp. 329\u2013351 (1975)","DOI":"10.1016\/B978-0-12-775260-0.50019-0"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1090\/S0002-9904-1950-09392-6","volume":"56","author":"RP Dilworth","year":"1950","unstructured":"Dilworth, R.P., Birkhoff, G.: Lattice theory. Bull. Am. Math. Soc. 56, 204\u2013206 (1950)","journal-title":"Bull. Am. Math. Soc."},{"issue":"1C2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0020-0255(92)90008-V","volume":"60","author":"G Gerla","year":"1992","unstructured":"Gerla, G.: Fuzzy grammars and recursively enumerable fuzzy languages. Inf. Sci. 60(1C2), 137\u2013143 (1992)","journal-title":"Inf. Sci."},{"issue":"8","key":"5_CR7","doi-asserted-by":"publisher","first-page":"1152","DOI":"10.1016\/j.fss.2008.07.009","volume":"160","author":"X Guo","year":"2009","unstructured":"Guo, X.: Grammar theory based on lattice-ordered monoid. Fuzzy Sets Syst. 160(8), 1152\u20131161 (2009)","journal-title":"Fuzzy Sets Syst."},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1016\/j.fss.2011.10.003","volume":"199","author":"Xiuhong Guo","year":"2012","unstructured":"Guo, X.: A comment on automata theory based on complete residuated lattice-valued logic: pushdown automata (2012)","journal-title":"Fuzzy Sets and Systems"},{"key":"5_CR9","unstructured":"Jiang, Z., Jiang, S.: Formal languages and automata. Tsinghua University Press (2003)"},{"issue":"8","key":"5_CR10","doi-asserted-by":"publisher","first-page":"1415","DOI":"10.1007\/s00500-012-0845-1","volume":"16","author":"J Jin","year":"2012","unstructured":"Jin, J., Li, Q.: Fuzzy grammar theory based on lattices. Soft Comput. 16(8), 1415\u20131426 (2012)","journal-title":"Soft Comput."},{"issue":"2","key":"5_CR11","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0020-0255(75)90010-9","volume":"8","author":"HH Kim","year":"1975","unstructured":"Kim, H.H., Mizumoto, M., Toyoda, J., Tanaka, K.: L -fuzzy grammars. Inf. Sci. 8(2), 123\u2013140 (1975)","journal-title":"Inf. Sci."},{"issue":"6","key":"5_CR12","first-page":"67","volume":"49","author":"S Lan","year":"1992","unstructured":"Lan, S.: A machine accepted fuzzy context-free languages and fuzzy pushdown automata. BUSEFAL 49(6), 67\u201372 (1992)","journal-title":"BUSEFAL"},{"issue":"4","key":"5_CR13","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(4), 421\u2013434 (1969)","journal-title":"Inf. Sci."},{"key":"5_CR14","unstructured":"Lee, E.T., Zadeh, L.A.: Fuzzy languages and their acceptance by automata. In: Fourth Princeton Conference Information Science and System, no. 2, pp. 399\u2013410 (1970)"},{"issue":"21","key":"5_CR15","doi-asserted-by":"publisher","first-page":"3232","DOI":"10.1016\/j.ins.2005.10.003","volume":"176","author":"P Li","year":"2006","unstructured":"Li, P., Li, Y.M.: Algebraic properties of la-languages. Inf. Sci. 176(21), 3232\u20133255 (2006)","journal-title":"Inf. Sci."},{"key":"5_CR16","unstructured":"Li, Y., Li, P.: Fuzzy computing theory. Science Press (2016)"},{"issue":"25","key":"5_CR17","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.fss.2005.04.004","volume":"156","author":"Y Li","year":"2005","unstructured":"Li, Y., Pedrycz, W.: Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids. Fuzzy Sets Syst. 156(25), 68\u201392 (2005)","journal-title":"Fuzzy Sets Syst."},{"issue":"15","key":"5_CR18","doi-asserted-by":"publisher","first-page":"2208","DOI":"10.1016\/j.ins.2005.05.001","volume":"176","author":"Z Li","year":"2006","unstructured":"Li, Z., Li, P., Li, Y.: The relationships among several types of fuzzy automata. Inf. Sci. 176(15), 2208\u20132226 (2006)","journal-title":"Inf. Sci."},{"issue":"9","key":"5_CR19","doi-asserted-by":"publisher","first-page":"1623","DOI":"10.1109\/5.784244","volume":"87","author":"CW Omlin","year":"1999","unstructured":"Omlin, C.W., Giles, C.L.: Equivalence in knowledge representation: automata, recurrent neural networks, and dynamical fuzzy systems. Proc. IEEE 87(9), 1623\u20131640 (1999)","journal-title":"Proc. IEEE"},{"issue":"15","key":"5_CR20","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1109\/TFUZZ.2018.2869127","volume":"27","author":"H Pan","year":"2019","unstructured":"Pan, H., Song, F., Cao, Y., Qian, J.: Fuzzy pushdown termination games. IEEE Trans. Fuzzy Syst. 27(15), 760\u2013774 (2019)","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"10","key":"5_CR21","first-page":"137","volume":"33","author":"D Qiu","year":"2003","unstructured":"Qiu, D.: Automata theory based on complete residuated latticed-valued logic(i). Sci. China (Series E) 33(10), 137\u2013146 (2003)","journal-title":"Sci. China (Series E)"},{"issue":"3","key":"5_CR22","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0020-0255(76)90040-2","volume":"10","author":"E Santos","year":"1976","unstructured":"Santos, E.: Fuzzy automata and languages. Inf. Sci. 10(3), 193\u2013197 (1976)","journal-title":"Inf. Sci."},{"issue":"4","key":"5_CR23","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/S0019-9958(68)90864-4","volume":"13","author":"ES Santos","year":"1968","unstructured":"Santos, E.S.: Maximin automata. Inf. Control 13(4), 363\u2013377 (1968)","journal-title":"Inf. Control"},{"issue":"3","key":"5_CR24","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1016\/S0019-9958(63)90306-1","volume":"6","author":"M Schtzenberger","year":"1963","unstructured":"Schtzenberger, M.: On context-free languages and push-down automata. Inf. Control 6(3), 246\u2013264 (1963)","journal-title":"Inf. Control"},{"issue":"5","key":"5_CR25","doi-asserted-by":"publisher","first-page":"1124","DOI":"10.1109\/21.179849","volume":"22","author":"H Senay","year":"1992","unstructured":"Senay, H.: Fuzzy command grammars for intelligent interface design. IEEE Trans. Syst. Man Cybern. 22(5), 1124\u20131131 (1992)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"issue":"1","key":"5_CR26","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0165-0114(94)90282-8","volume":"61","author":"F Steimann","year":"1994","unstructured":"Steimann, F., Adlassnig, K.P.: Clinical monitoring with fuzzy automata. Fuzzy Sets Syst. 61(1), 37\u201342 (1994)","journal-title":"Fuzzy Sets Syst."},{"issue":"6","key":"5_CR27","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1109\/TFUZZ.2003.819841","volume":"11","author":"H Wang","year":"2003","unstructured":"Wang, H., Qiu, D.: Computing with words via turing machines: a formal approach. IEEE Trans. Fuzzy Syst. 11(6), 742\u2013753 (2003)","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"13","key":"5_CR28","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":"16","key":"5_CR29","doi-asserted-by":"publisher","first-page":"2416","DOI":"10.1016\/j.fss.2009.01.007","volume":"160","author":"H Xing","year":"2009","unstructured":"Xing, H., Qiu, D.: Automata theory based on complete residuated lattice-valued logic: a categorical approach. Fuzzy Sets Syst. 160(16), 2416\u20132428 (2009)","journal-title":"Fuzzy Sets Syst."}],"container-title":["Communications in Computer and Information Science","Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-15-0105-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,31]],"date-time":"2019-08-31T11:06:57Z","timestamp":1567249617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-15-0105-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9789811501043","9789811501050"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-981-15-0105-0_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"1 September 2019","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":"Lanzhou","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":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nctcs2019a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/nctcs2019.lzu.edu.cn","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":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28","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":"11","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":"0","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":"39% - 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-4","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":"5","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)"}}]}}