{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:46:39Z","timestamp":1743151599867,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540115762"},{"type":"electronic","value":"9783540393085"}],"license":[{"start":{"date-parts":[[1982,1,1]],"date-time":"1982-01-01T00:00:00Z","timestamp":378691200000},"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":[[1982]]},"DOI":"10.1007\/bfb0012783","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:00:52Z","timestamp":1132732852000},"page":"360-368","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An iteration theorem for simple precedence languages"],"prefix":"10.1007","author":[{"given":"Yael","family":"Krevner","sequence":"first","affiliation":[]},{"given":"Amiram","family":"Yehudai","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,10,22]]},"reference":[{"key":"32_CR1","unstructured":"A.V. Aho and J.D. Ullman, The theory of parsing, translation and compiling, Prentice-Hall, Vol. I, 1972."},{"key":"32_CR2","unstructured":"A.V. Aho and J.D. Ullman, The theory of parsing, translation and compiling, Prentice-Hall, Vol. II, 1973."},{"key":"32_CR3","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0304-3975(80)90029-8","volume":"12","author":"J.C. Beatty","year":"1980","unstructured":"J.C. Beatty, Two iteration theorems for the LL(k) languages, TCS 12 (1980), 193\u2013228.","journal-title":"TCS"},{"key":"32_CR4","first-page":"583","volume":"7","author":"L. Boasson","year":"1973","unstructured":"L. Boasson, Two iteration theorems for some families of languages, JCSS 7 (1973), 583\u2013596.","journal-title":"JCSS"},{"key":"32_CR5","first-page":"143","volume":"14","author":"Y. Bar-Hillel","year":"1961","unstructured":"Y. Bar-Hillel, M. Perles and E. Shamir, On formal properties of simple phrase structure grammars, Z. Phonetik Sprachwiss. Kommunikat. 14 (1961), 143\u2013172.","journal-title":"Z. Phonetik Sprachwiss. Kommunikat."},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"M.J. Fischer, Some properties of precedence languages, proceedings of 1st STOC, 1969, 181\u2013190.","DOI":"10.1145\/800169.805432"},{"key":"32_CR7","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/321172.321179","volume":"10","author":"R.W. Floyd","year":"1963","unstructured":"R.W. Floyd, Syntactic analysis and operator precedence, JACM 10 (1963), 316\u2013333.","journal-title":"JACM"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"S.L. Graham, Extended precedence languages, bounded right context languages and deterministic languages, IEEE Conf. record of the 11th Annual Symposium on Switching and Automata Theory (1970), 175\u2013180.","DOI":"10.1109\/SWAT.1970.9"},{"key":"32_CR9","unstructured":"M.A. Harrison, Introduction to formal language theory, Addison-Wesley, 1978."},{"key":"32_CR10","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1145\/321850.321851","volume":"21","author":"M.A. Harrison","year":"1974","unstructured":"M.A. Harrison and I.M. Havel, On the parsing of deterministic languages, JACM 21 (1974), 525\u2013548.","journal-title":"JACM"},{"key":"32_CR11","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(80)90052-3","volume":"10","author":"K.N. King","year":"1980","unstructured":"K.N. King, Iteration theorems for families of strict deterministic languages, TCS 10 (1980), 317\u2013333.","journal-title":"TCS"},{"key":"32_CR12","unstructured":"Y. Krevner and A. Yehudai, An iteration theorem for simple precedence languages, submitted for publication."},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"W.F. Ogden, Intercalation theorems for pushdown store and stack languages, Ph.D. Thesis, Stanford University, 1968.","DOI":"10.1145\/800169.805419"},{"key":"32_CR14","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF01694004","volume":"2","author":"W.F. Ogden","year":"1968","unstructured":"W.F. Ogden, A helpful result for proving inherent ambiguity, Math. Systems Theory 2 (1968), 191\u2013194.","journal-title":"Math. Systems Theory"},{"key":"32_CR15","unstructured":"D.J. Rosenkrantz, P.M. Lewis III and R.E. Stearns, A simple language which is not a precedence language, unpublished manuscript (1968)."},{"key":"32_CR16","unstructured":"I.H. Sudborough, private communication, 1979."},{"key":"32_CR17","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/365153.365162","volume":"9","author":"N. Wirth","year":"1966","unstructured":"N. Wirth and H. Weber, Euler-a generalization of ALGOL and its formal definition, part I, CACM 9 (1966), 13\u201323.","journal-title":"CACM"},{"key":"32_CR18","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/BF01930862","volume":"19","author":"A. Yehudai","year":"1979","unstructured":"A. Yehudai, A new definition for simple precedence grammars, BIT 19 (1979), 282\u2013284.","journal-title":"BIT"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0012783","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T23:23:31Z","timestamp":1578525811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012783"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540115762","9783540393085"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0012783","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]},"assertion":[{"value":"22 October 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}