{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T06:16:29Z","timestamp":1784873789717,"version":"3.55.0"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319214993","type":"print"},{"value":"9783319215006","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-21500-6_18","type":"book-chapter","created":{"date-parts":[[2015,7,17]],"date-time":"2015-07-17T08:07:44Z","timestamp":1437120464000},"page":"228-239","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On the Density of Context-Free and Counter Languages"],"prefix":"10.1007","author":[{"given":"Joey","family":"Eremondi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Oscar H.","family":"Ibarra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ian","family":"McQuillan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,7,18]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Autebert, J., Berstel, J., Boasson, L.: Handbook of Formal Languages, vol. 1, chap. Context-Free Languages and Pushdown Automata. Springer-Verlag, Berlin (1997)","DOI":"10.1007\/978-3-642-59136-5_3"},{"issue":"3","key":"18_CR2","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/S0022-0000(74)80027-9","volume":"8","author":"BS Baker","year":"1974","unstructured":"Baker, B.S., Book, R.V.: Reversal-bounded multipushdown machines. Journal of Computer and System Sciences 8(3), 315\u2013332 (1974)","journal-title":"Journal of Computer and System Sciences"},{"key":"18_CR3","volume-title":"Theory of Codes","author":"J Berstel","year":"1985","unstructured":"Berstel, J., Perrin, D.: Theory of Codes. Academic Press, Orlando (1985)"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.tcs.2012.04.002","volume":"454","author":"E Chiniforooshan","year":"2012","unstructured":"Chiniforooshan, E., Daley, M., Ibarra, O.H., Kari, L., Seki, S.: One-reversal counter machines and multihead automata: Revisited. Theoretical Computer Science 454, 81\u201387 (2012)","journal-title":"Theoretical Computer Science"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1007\/978-3-319-17142-5_33","volume-title":"Theory and Applications of Models of Computation","author":"J Eremondi","year":"2015","unstructured":"Eremondi, J., Ibarra, O.H., McQuillan, I.: Deletion operations on deterministic families of automata. In: Jain, R., Jain, S., Stephan, F. (eds.) TAMC 2015. LNCS, vol. 9076, pp. 388\u2013399. Springer, Heidelberg (2015)"},{"key":"18_CR6","volume-title":"The Mathematical Theory of Context-Free Languages","author":"S Ginsburg","year":"1966","unstructured":"Ginsburg, S.: The Mathematical Theory of Context-Free Languages. McGraw-Hill Inc., New York (1966)"},{"key":"18_CR7","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"JE Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.tcs.2011.12.034","volume":"429","author":"O Ibarra","year":"2012","unstructured":"Ibarra, O., Yen, H.: On the containment and equivalence problems for two-way transducers. Theoretical Computer Science 429, 155\u2013163 (2012)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"18_CR9","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/322047.322058","volume":"25","author":"OH Ibarra","year":"1978","unstructured":"Ibarra, O.H.: Reversal-bounded multicounter machines and their decision problems. Journal of the ACM 25(1), 116\u2013133 (1978)","journal-title":"Journal of the ACM"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/3-540-57163-9_3","volume-title":"Fundamentals of Computation Theory 1993","author":"M Ito","year":"1993","unstructured":"Ito, M.: Dense and disjunctive properties of languages. In: \u00c9sik, Z. (ed.) FCT 1993. Lecture Notes in Computer Science, vol. 710, pp. 31\u201349. Springer, Berlin Heidelberg (1993)"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1080\/00207160108805105","volume":"78","author":"H J\u00fcrgensen","year":"2001","unstructured":"J\u00fcrgensen, H., Kari, L., Thierrin, G.: Morphisms preserving densities. International Journal of Computer Mathematics 78, 165\u2013189 (2001)","journal-title":"International Journal of Computer Mathematics"},{"issue":"3","key":"18_CR12","doi-asserted-by":"publisher","first-page":"437","DOI":"10.2307\/1970290","volume":"74","author":"ML Minsky","year":"1961","unstructured":"Minsky, M.L.: Recursive unsolvability of Post\u2019s problem of \u201ctag\u201d and other topics in theory of Turing Machines. Annals of Mathematics 74(3), 437\u2013455 (1961)","journal-title":"Annals of Mathematics"},{"key":"18_CR13","volume-title":"Free Monoids and Languages","author":"HJ Shyr","year":"2001","unstructured":"Shyr, H.J.: Free Monoids and Languages, 3rd edn. Hon Min Book Company, Taichung (2001)","edition":"3"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21500-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T09:50:13Z","timestamp":1676973013000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21500-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319214993","9783319215006"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21500-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"18 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}