{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T03:19:22Z","timestamp":1773717562876,"version":"3.50.1"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1970,3,1]],"date-time":"1970-03-01T00:00:00Z","timestamp":5097600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[1970,3]]},"DOI":"10.1007\/bf02234250","type":"journal-article","created":{"date-parts":[[2005,10,21]],"date-time":"2005-10-21T13:45:37Z","timestamp":1129902337000},"page":"57-70","source":"Crossref","is-referenced-by-count":26,"title":["\u00dcber einen Automaten mit Pufferspeicherung","On an automaton with buffer-tape"],"prefix":"10.1007","volume":"5","author":[{"given":"R.","family":"Vollmar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02234250_CR1","volume-title":"Computability and Unsolvability","author":"M. Davis","year":"1958","unstructured":"Davis, M.: Computability and Unsolvability. New York-London: McGraw-Hill. 1958."},{"key":"BF02234250_CR2","first-page":"1","volume":"2","author":"R. Vollmar","year":"1969","unstructured":"Vollmar, R.: \u00dcber einen Automaten mit Speicherband (Pufferautomat). Arbeitsberichte des Instituts f\u00fcr Mathematische Maschinen und Datenverarbeitung der Universit\u00e4t Erlangen-N\u00fcrnberg2, 1, (1969).","journal-title":"Arbeitsberichte des Instituts f\u00fcr Mathematische Maschinen und Datenverarbeitung der Universit\u00e4t Erlangen-N\u00fcrnberg"},{"key":"BF02234250_CR3","volume-title":"The Mathematical Theory of Context-Free Languages","author":"S. Ginsburg","year":"1966","unstructured":"Ginsburg, S.: The Mathematical Theory of Context-Free Languages. New York-London: McGraw-Hill. 1966."},{"key":"BF02234250_CR4","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1145\/321160.321170","volume":"10","author":"J. C. Shepherdson","year":"1963","unstructured":"Shepherdson, J. C., andH. E. Sturgis: Computability of Recursive Functions. J. ACM10, 217\u2013255 (1963).","journal-title":"J. ACM"},{"key":"BF02234250_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-01462-2","volume-title":"Aufz\u00e4hlbarkeit, Entscheidbarkeit, Berechenbarkeit","author":"H. Hermes","year":"1961","unstructured":"Hermes, H.: Aufz\u00e4hlbarkeit, Entscheidbarkeit, Berechenbarkeit. Berlin-G\u00f6ttingen-Heidelberg: Springer-Verlag. 1961."},{"key":"BF02234250_CR6","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF01692510","volume":"2","author":"A. V. Aho","year":"1968","unstructured":"Aho, A. V., andJ. D. Ullman: The Theory of Languages. Mathematical Systems Theory2, 97\u2013125 (1968).","journal-title":"Mathematical Systems Theory"},{"key":"BF02234250_CR7","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/S0019-9958(59)90362-6","volume":"2","author":"N. Chomsky","year":"1959","unstructured":"Chomsky, N.: On Certain Formal Properties of Grammars. Information and Control2, 137\u2013167 (1959).","journal-title":"Information and Control"},{"key":"BF02234250_CR8","unstructured":"H\u00e4ndler, W.: Automatentheorie II (Vorlesungsausarbeitung). Hannover. 1966."},{"key":"BF02234250_CR9","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/S0019-9958(66)90211-7","volume":"9","author":"S. Ginsburg","year":"1966","unstructured":"Ginsburg, S., andG. F. Rose: Preservation of Languages by Transducers. Information and Control9, 153\u2013176 (1966).","journal-title":"Information and Control"},{"key":"BF02234250_CR10","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF02759719","volume":"1","author":"M. O. Rabin","year":"1963","unstructured":"Rabin, M. O.: Real Time Computation. Israel Journal of Math.1, 203\u2013211 (1963).","journal-title":"Israel Journal of Math."},{"key":"BF02234250_CR11","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1090\/S0002-9904-1946-08555-9","volume":"52","author":"E. L. Post","year":"1946","unstructured":"Post, E. L.: A Variant of a Recursively Unsolvable Problem. Bull. Am. Math. Soc.52, 264\u2013268 (1946).","journal-title":"Bull. Am. Math. Soc."},{"key":"BF02234250_CR12","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1109\/PGEC.1964.263815","volume":"13","author":"P. S. Landweber","year":"1964","unstructured":"Landweber, P. S.: Decision Problems of Phrase-Structure Grammars. IEEE Trans. on Electronic ComputersEC-13, 354\u2013362 (1964).","journal-title":"IEEE Trans. on Electronic Computers EC"},{"key":"BF02234250_CR13","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1147\/rd.32.0114","volume":"3","author":"M. O. Rabin","year":"1959","unstructured":"Rabin, M. O., andD. Scott: Finite Automata and Their Decision Problems. IBM J. Res. Dev.3, 114\u2013125 (1959).","journal-title":"IBM J. Res. Dev."}],"container-title":["Computing"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02234250.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02234250\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02234250","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T16:45:38Z","timestamp":1557938738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02234250"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1970,3]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1970,3]]}},"alternative-id":["BF02234250"],"URL":"https:\/\/doi.org\/10.1007\/bf02234250","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1970,3]]}}}