{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T21:57:34Z","timestamp":1775512654931,"version":"3.50.1"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1969,12,1]],"date-time":"1969-12-01T00:00:00Z","timestamp":-2678400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Systems Theory"],"published-print":{"date-parts":[[1969,12]]},"DOI":"10.1007\/bf01691063","type":"journal-article","created":{"date-parts":[[2005,5,14]],"date-time":"2005-05-14T09:54:50Z","timestamp":1116064490000},"page":"376-384","source":"Crossref","is-referenced-by-count":215,"title":["Decision problems for\u03c9-automata"],"prefix":"10.1007","volume":"3","author":[{"given":"L. H.","family":"Landweber","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF01691063_CR1","volume-title":"Logic, Methodology and Philosophy of Science (Proc. 1960Internat. Congr.)","author":"J. R. B\u00fcchi","year":"1962","unstructured":"J. R. B\u00fcchi, On a decision method in restricted second order arithmetic,Logic, Methodology and Philosophy of Science (Proc. 1960Internat. Congr.); Stanford Univ. Press, Stanford, Cal., 1962."},{"key":"BF01691063_CR2","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1090\/S0002-9947-1969-0280205-0","volume":"138","author":"J. R. B\u00fcchi","year":"1969","unstructured":"J. R. B\u00fcchi andL. H. Landweber, Solving sequential conditions by finite state strategies,Trans. Amer. Math. Soc. 138 (1969), 295\u2013311.","journal-title":"Trans. Amer. Math. Soc."},{"key":"BF01691063_CR3","doi-asserted-by":"crossref","first-page":"166","DOI":"10.2307\/2271090","volume":"34","author":"J. R. B\u00fcchi","year":"1969","unstructured":"J. R. B\u00fcchi andL. H. Landweber, Definability in the monadic second order theory of successor,J. Symbolic Logic 34 (1969), 166\u2013170.","journal-title":"J. Symbolic Logic"},{"key":"BF01691063_CR4","first-page":"539","volume":"74","author":"J. Hartmanis","year":"1967","unstructured":"J. Hartmanis andR. E. Stearns, Sets of numbers defined by finite automata,Amer. Math. Monthly 74 (1967), 539\u2013542.","journal-title":"Amer. Math. Monthly"},{"key":"BF01691063_CR5","doi-asserted-by":"crossref","unstructured":"J. Hartmanis andS. E. Hopcroft, Structure of undecidable problems in automata theory, IEEE Conference Record of 1968 Ninth Annual Symposium on Switching and Automata Theory, October 1968, 327\u2013333.","DOI":"10.1109\/SWAT.1968.30"},{"key":"BF01691063_CR6","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1016\/S0019-9958(66)80013-X","volume":"9","author":"R. McNaughton","year":"1966","unstructured":"R. McNaughton, Testing and generating infinite sequences by a finite automaton,Information and Control 9 (1966), 521\u2013530.","journal-title":"Information and Control"},{"key":"BF01691063_CR7","unstructured":"L. H. Landweber, Synthesis algorithms for sequential machines, Proceedings of IFIP Congress 68, to appear."},{"key":"BF01691063_CR8","volume-title":"Theory of Recrusive Functions and Effective Computability","author":"H. Rogers Jr.","year":"1967","unstructured":"H. Rogers, Jr.,Theory of Recrusive Functions and Effective Computability, McGraw-Hill, New York, 1967."}],"container-title":["Mathematical Systems Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01691063.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01691063\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01691063","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T09:57:24Z","timestamp":1586253444000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01691063"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1969,12]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1969,12]]}},"alternative-id":["BF01691063"],"URL":"https:\/\/doi.org\/10.1007\/bf01691063","relation":{},"ISSN":["0025-5661","1433-0490"],"issn-type":[{"value":"0025-5661","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[1969,12]]}}}