{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:35Z","timestamp":1725663275670},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540083535"},{"type":"electronic","value":"9783540372851"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/3-540-08353-7_163","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:25:29Z","timestamp":1330169129000},"page":"420-429","source":"Crossref","is-referenced-by-count":2,"title":["Cover results and normal forms"],"prefix":"10.1007","author":[{"given":"Anton","family":"Nijholt","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"41_CR1","volume-title":"The Theory of Parsing, Translation and Compiling, Vols. I and II","author":"A. V. Aho","year":"1972","unstructured":"Aho A.V. and Ullman J.D., The Theory of Parsing, Translation and Compiling, Vols. I and II, Prentice Hall, Englewood Cliffs, New Jersey, 1972 and 1973."},{"key":"41_CR2","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/0012-365X(76)90089-3","volume":"16","author":"M. M. Geller","year":"1976","unstructured":"Geller M.M., Harrison M.A. and Havel I.M., Normal forms of deterministic languages, Discrete Mathematics, Vol. 16, pp. 313\u2013322, 1976.","journal-title":"Discrete Mathematics"},{"key":"41_CR3","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1137\/0203019","volume":"3","author":"S. L. Graham","year":"1974","unstructured":"Graham S.L., On bounded right context languages and grammars, SIAM Journal on Computing, Vol. 3, pp. 224\u2013254, 1974.","journal-title":"SIAM Journal on Computing"},{"key":"41_CR4","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1145\/321724.321732","volume":"19","author":"J. N. Gray","year":"1972","unstructured":"Gray J.N. and Harrison M.A., On the covering and reduction problems for context-free grammars, Journal of the Association for Computing Machinery, Vol. 19, pp. 675\u2013698, 1972.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"Hammer M, A new grammatical transformation into LL(k) form, Conference Record of the 6th annual ACM Symposium on Theory of Computing, pp. 266\u2013275, 1974.","DOI":"10.1145\/800119.803904"},{"key":"41_CR6","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/S0022-0000(73)80008-X","volume":"7","author":"M. A. Harrison","year":"1973","unstructured":"Harrison M.A. and Havel I.M., Strict deterministic grammars, Journal of Computer and System Sciences, Vol. 7, pp. 237\u2013277, 1973.","journal-title":"Journal of Computer and System Sciences"},{"key":"41_CR7","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/978-3-662-41148-3_1","volume":"1","author":"M. A. Harrison","year":"1973","unstructured":"Harrison M.A., On covers and precedence analysis, Lecture Notes in Computer Science 1, G.I. 3. Jahrestagung, pp. 2\u201317, 1973.","journal-title":"Lecture Notes in Computer Science"},{"key":"41_CR8","doi-asserted-by":"crossref","unstructured":"Hunt III H.B., A complexity theory of grammar problems, Conference Record of the 3rd ACM Symposium on Principles of Programming Languages, pp. 12\u201318, 1976.","DOI":"10.1145\/800168.811536"},{"key":"41_CR9","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/0304-3975(76)90088-8","volume":"2","author":"H. B. Hunt III","year":"1976","unstructured":"Hunt III H.B., Rosenkrantz D.J. and Szymanski T.G., The covering problem for linear context-free grammars, Theoretical Computer Science, Vol. 2, pp. 361\u2013382, 1976.","journal-title":"Theoretical Computer Science"},{"key":"41_CR10","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1016\/S0022-0000(76)80038-4","volume":"12","author":"H. B. Hunt III","year":"1976","unstructured":"Hunt III H.B., Rosenkrantz D.J. and Szymanski T.G., On the equivalence, containment, and covering problems for the regular and context-free languages, Journal of Computer and System Sciences, Vol. 12, pp. 222\u2013268, 1976.","journal-title":"Journal of Computer and System Sciences"},{"key":"41_CR11","unstructured":"Hunt III H.B., Szymanski T.G., Lower bounds and reductions between grammar problems, Technical Report 216, Princeton University, 1976."},{"key":"41_CR12","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1145\/321752.321756","volume":"20","author":"D. B. Lomet","year":"1973","unstructured":"Lomet D.B., A formalization of transition diagram systems, Journal of the Association for Computing Machinery, Vol. 20, pp. 235\u2013257, 1973.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"41_CR13","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/321707.321708","volume":"19","author":"J. McAfee","year":"1972","unstructured":"McAfee J. and Presser L., An algorithm for the design of simple precedence grammars, Journal of the Association for Computing Machinery, Vol. 19, pp. 385\u2013395, 1972.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"41_CR14","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/321921.321924","volume":"23","author":"M. D. Mickunas","year":"1976","unstructured":"Mickunas M.D., On the complete covering problem for LR(k) grammars, Journal of the Association for Computing Machinery, Vol. 23, pp. 17\u201330, 1976.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"41_CR15","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1145\/321958.321972","volume":"23","author":"M. D. Mickunas","year":"1976","unstructured":"Mickunas M.D., Lancaster R.L. and Schneider V.B., Transforming LR(k) grammars to LR(1), SLR(1) and (1,1) Bounded Right Context grammars, Journal of the Association for Computing Machinery, Vol. 23, pp. 511\u2013533, 1976.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"41_CR16","doi-asserted-by":"crossref","unstructured":"Nijholt A., On the covering of left-recursive grammars, Conference Record of the 4th ACM Symposium on Principles of Programming Languages, pp. 86\u201396, 1977.","DOI":"10.1145\/512950.512959"},{"key":"41_CR17","unstructured":"Nijholt A., On the covering of parsable grammars, to appear in Journal of Computer and System Sciences."},{"key":"41_CR18","doi-asserted-by":"crossref","unstructured":"Nijholt A., On the parsing of LL-Regular grammars, Lecture Notes in Computer Science 45, Proc. 5th Int. Symposium on Mathematical Foundations of Computer Science, pp. 446\u2013452, 1976.","DOI":"10.1007\/3-540-07854-1_213"},{"key":"41_CR19","doi-asserted-by":"crossref","unstructured":"Nijholt A., Simple Chain Grammars, Proc. 4th Int. Conference on Automata, Languages and Programming, 1977 (to appear).","DOI":"10.1007\/3-540-08342-1_27"},{"key":"41_CR20","doi-asserted-by":"crossref","unstructured":"Nijholt A., Simple Chain Languages, manuscript, march 1977.","DOI":"10.1007\/3-540-08342-1_27"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1977"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08353-7_163.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:59:24Z","timestamp":1605625164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08353-7_163"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540083535","9783540372851"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-08353-7_163","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1977]]}}}