{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:36Z","timestamp":1760202696489},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319409450"},{"type":"electronic","value":"9783319409467"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40946-7_12","type":"book-chapter","created":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T11:52:20Z","timestamp":1467719540000},"page":"138-149","source":"Crossref","is-referenced-by-count":2,"title":["On Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L"],"prefix":"10.1007","author":[{"given":"Oscar H.","family":"Ibarra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"McQuillan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,6]]},"reference":[{"issue":"3","key":"12_CR1","doi-asserted-by":"crossref","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. J. Comput. Syst. Sci. 8(3), 315\u2013332 (1974)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"12_CR2","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1142\/S0129054196000191","volume":"7","author":"L Breveglieri","year":"1996","unstructured":"Breveglieri, L., Cherubini, A., Citrini, C., Reghizzi, S.: Multi-push-down languages and grammars. Int. J. Found. Comput. Sci. 7(3), 253\u2013291 (1996)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"1\u20132","key":"12_CR3","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0304-3975(84)90023-9","volume":"32","author":"J Duske","year":"1984","unstructured":"Duske, J., Parchmann, R.: Linear indexed languages. Theoret. Comput. Sci. 32(1\u20132), 47\u201360 (1984)","journal-title":"Theoret. Comput. Sci."},{"key":"12_CR4","volume-title":"Algebraic and Automata-Theoretic Properties of Formal Languages","author":"S Ginsburg","year":"1975","unstructured":"Ginsburg, S.: Algebraic and Automata-Theoretic Properties of Formal Languages. North-Holland Publishing Company, Amsterdam (1975)"},{"key":"12_CR5","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":"12_CR6","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0304-3975(78)90020-8","volume":"7","author":"S Greibach","year":"1978","unstructured":"Greibach, S.: Remarks on blind and partially blind one-way multicounter machines. Theoret. Comput. Sci. 7, 311\u2013324 (1978)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"12_CR7","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1006\/jcss.2002.1836","volume":"65","author":"T Harju","year":"2002","unstructured":"Harju, T., Ibarra, O., Karhum\u00e4ki, J., Salomaa, A.: Some decision problems concerning semilinearity and commutation. J. Comput. Syst. Sci. 65(2), 278\u2013294 (2002)","journal-title":"J. Comput. Syst. Sci."},{"key":"12_CR8","series-title":"Addison-Wesley Series in Computer Science","volume-title":"Introduction to Formal Language Theory","author":"M Harrison","year":"1978","unstructured":"Harrison, M.: Introduction to Formal Language Theory. Addison-Wesley Series in Computer Science. Addison-Wesley Pub. Co., Boston (1978)"},{"key":"12_CR9","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/j.tcs.2016.02.034","volume":"627","author":"O Ibarra","year":"2016","unstructured":"Ibarra, O., McQuillan, I.: The effect of end-markers on counter machines and commutativity. Theoret. Comput. Sci. 627, 71\u201381 (2016)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"12_CR10","doi-asserted-by":"crossref","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. J. ACM 25(1), 116\u2013133 (1978)","journal-title":"J. ACM"},{"issue":"6","key":"12_CR11","doi-asserted-by":"crossref","first-page":"1291","DOI":"10.1142\/S0129054112400539","volume":"23","author":"OH Ibarra","year":"2012","unstructured":"Ibarra, O.H., Seki, S.: Characterizations of bounded semilinear languages by one-way and two-way deterministic machines. Int. J. Found. Comput. Sci. 23(6), 1291\u20131306 (2012)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"12_CR12","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/S0019-9958(78)90050-5","volume":"38","author":"G Rozenberg","year":"1978","unstructured":"Rozenberg, G., Vermeir, D.: On ET0L systems of finite index. Inf. Control 38, 103\u2013133 (1978)","journal-title":"Inf. Control"},{"key":"12_CR13","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1016\/S0019-9958(78)90635-6","volume":"39","author":"G Rozenberg","year":"1978","unstructured":"Rozenberg, G., Vermeir, D.: On the effect of the finite index restriction on several families of grammars. Inf. Control 39, 284\u2013302 (1978)","journal-title":"Inf. Control"},{"issue":"1","key":"12_CR14","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1016\/0890-5401(87)90012-5","volume":"74","author":"B Rozoy","year":"1987","unstructured":"Rozoy, B.: The Dyck language $$D_1^{\\prime *}$$ is not generated by any matrix grammar of finite index. Inf. Comput. 74(1), 64\u201389 (1987)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40946-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T17:50:47Z","timestamp":1498326647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40946-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319409450","9783319409467"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40946-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}