{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T08:47:16Z","timestamp":1648630036657},"reference-count":18,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1983,2,1]],"date-time":"1983-02-01T00:00:00Z","timestamp":412905600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":11124,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[1983,2]]},"DOI":"10.1016\/0022-0000(83)90019-3","type":"journal-article","created":{"date-parts":[[2003,12,4]],"date-time":"2003-12-04T12:01:00Z","timestamp":1070539260000},"page":"34-46","source":"Crossref","is-referenced-by-count":1,"title":["Context Free Normal Systems and ETOL Systems"],"prefix":"10.1016","volume":"26","author":[{"given":"A.","family":"Ehrenfeucht","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Engelfriet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Rozenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0022-0000(83)90019-3_BIB1","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/321203.321206","article-title":"Universality of Tag systems with P=2","volume":"11","author":"Cocke","year":"1964","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0022-0000(83)90019-3_BIB2","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/321328.321333","article-title":"The solvability of the derivability problem for one-normal systems","volume":"13","author":"Cook","year":"1966","journal-title":"J. assoc. comput. mach."},{"key":"10.1016\/0022-0000(83)90019-3_BIB3","first-page":"87","article-title":"On the circular closure of languages","volume":"15","author":"Dassow","year":"1979","journal-title":"Elektron. Informationsverarb. Kybernet."},{"key":"10.1016\/0022-0000(83)90019-3_BIB4","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/1385-7258(72)90027-3","article-title":"On the membership question in some Lindenmayer systems","volume":"34","author":"Doucet","year":"1972","journal-title":"Indag. Math."},{"key":"10.1016\/0022-0000(83)90019-3_BIB5","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1145\/321386.321403","article-title":"One-way stack automata","volume":"14","author":"Ginsburg","year":"1967","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0022-0000(83)90019-3_BIB6","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/BF01691106","article-title":"Chains of full AFL's","volume":"4","author":"Greibach","year":"1970","journal-title":"Math. Systems Theory"},{"key":"10.1016\/0022-0000(83)90019-3_BIB7","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/S0019-9958(74)80051-3","article-title":"Closure properties of some families of languages associated with biological systems","volume":"24","author":"Herman","year":"1974","journal-title":"Inform. and Control"},{"key":"10.1016\/0022-0000(83)90019-3_BIB8","series-title":"Automata, Languages and Development","first-page":"227","article-title":"On length sets of informationless L systems","author":"Karhumaki","year":"1976"},{"key":"10.1016\/0022-0000(83)90019-3_BIB9","first-page":"346","article-title":"Context Free Normal Systems","volume":"Vol. 74","author":"Kudlek","year":"1979"},{"issue":"4","key":"10.1016\/0022-0000(83)90019-3_BIB10","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/1008318.1008319","article-title":"A forgotten connection between Tag-systems and parallel-rewriting","volume":"6","author":"Van Leeuwen","year":"1974","journal-title":"SIGACT News"},{"key":"10.1016\/0022-0000(83)90019-3_BIB11","first-page":"81","article-title":"On cyclic permutations of languages","volume":"9","author":"Maslov","year":"1973","journal-title":"Problems Inform. Transmission"},{"key":"10.1016\/0022-0000(83)90019-3_BIB12","series-title":"Proceedings of the First ACM Symposium on Theory of Computing,","first-page":"31","article-title":"Intercalation theorems for pushdown store and stack languages","author":"Ogden","year":"1969"},{"key":"10.1016\/0022-0000(83)90019-3_BIB13","doi-asserted-by":"crossref","first-page":"197","DOI":"10.2307\/2371809","article-title":"Formal reduction of the general combinatorial decision problem","volume":"65","author":"Post","year":"1943","journal-title":"Amer. J. Math."},{"key":"10.1016\/0022-0000(83)90019-3_BIB14","series-title":"The Mathematical Theory of L Systems","author":"Rozenberg","year":"1980"},{"key":"10.1016\/0022-0000(83)90019-3_BIB15","first-page":"3","article-title":"On circular words and (\u03c9\u2217 + \u03c9)-powers of words","volume":"13","author":"Ruohonen","year":"1977","journal-title":"Elektron. Informationsverarb. Kybernet."},{"key":"10.1016\/0022-0000(83)90019-3_BIB16","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1137\/0205022","article-title":"Decomposition theorems for various kinds of languages parallel in nature","volume":"5","author":"Skyum","year":"1976","journal-title":"SIAM J. Comput."},{"key":"10.1016\/0022-0000(83)90019-3_BIB17","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF01343730","article-title":"Tag systems and Lag systems","volume":"152","author":"Wang","year":"1963","journal-title":"Math. Ann."},{"key":"10.1016\/0022-0000(83)90019-3_BIB18","series-title":"Introduction to Automata Theory, Languages and Computation","author":"Hopcropt","year":"1979"}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0022000083900193?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0022000083900193?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T13:50:38Z","timestamp":1550325038000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0022000083900193"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,2]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1983,2]]}},"alternative-id":["0022000083900193"],"URL":"https:\/\/doi.org\/10.1016\/0022-0000(83)90019-3","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[1983,2]]}}}