{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T04:10:13Z","timestamp":1775016613697,"version":"3.50.1"},"reference-count":15,"publisher":"Pleiades Publishing Ltd","issue":"2","license":[{"start":{"date-parts":[[2013,4,1]],"date-time":"2013-04-01T00:00:00Z","timestamp":1364774400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,4,1]],"date-time":"2013-04-01T00:00:00Z","timestamp":1364774400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Probl Inf Transm"],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1134\/s003294601302004x","type":"journal-article","created":{"date-parts":[[2013,7,12]],"date-time":"2013-07-12T11:07:34Z","timestamp":1373627254000},"page":"149-162","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Determinization of ordinal automata"],"prefix":"10.1134","volume":"49","author":[{"given":"An. A.","family":"Muchnik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2013,7,13]]},"reference":[{"issue":"2","key":"4167_CR1","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1147\/rd.32.0114","volume":"3","author":"MO Rabin","year":"1959","unstructured":"Rabin, M.O. and Scott, D., Finite Automata and Their Decision Problems, IBM J. Res. Develop., 1959, vol. 3, no. 2, pp. 114\u2013125.","journal-title":"IBM J. Res. Develop."},{"key":"4167_CR2","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1002\/malq.19600060105","volume":"6","author":"JR B\u00fcchi","year":"1960","unstructured":"B\u00fcchi, J.R., Weak Second-Order Arithmetic and Finite Automata, Z. Math. Logik Grundlagen Math., 1960, vol. 6, pp. 66\u201392.","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"4167_CR3","first-page":"1","volume-title":"Proc. 1960 Int. Congress on Logic, Methodology and Philosophy of Science","author":"JR B\u00fcchi","year":"1962","unstructured":"B\u00fcchi, J.R., On a Decision Method in Restricted Second-Order Arithmetics, Proc. 1960 Int. Congress on Logic, Methodology and Philosophy of Science, Nagel, E., Suppes, P., and Tarski, A., Eds., Stanford, CA: Stanford Univ. Press, 1962, pp. 1\u201311."},{"key":"4167_CR4","doi-asserted-by":"crossref","unstructured":"Safra, S., On the Complexity of \u03c9-Automata, in Proc. 29th Ann. Sympos. on Foundations of Computer Science, White Plains, NY, 1988, pp. 319\u2013327.","DOI":"10.1109\/SFCS.1988.21948"},{"key":"4167_CR5","first-page":"3","volume-title":"Proc. 4th Ann. Sympos. on Switching Circuit Theory and Logical Design, Chicago, IL, 1963","author":"DE Muller","year":"1963","unstructured":"Muller, D.E., Infinite Sequences and Finite Machines, in Proc. 4th Ann. Sympos. on Switching Circuit Theory and Logical Design, Chicago, IL, 1963, New York: IEEE Press, 1963, pp. 3\u201316."},{"issue":"5","key":"4167_CR6","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1016\/S0019-9958(66)80013-X","volume":"9","author":"R McNaughton","year":"1966","unstructured":"McNaughton, R., Testing and Generating Infinite Sequences by a Finite Automaton, Inform. Control, 1966, vol. 9, no. 5, pp. 521\u2013530.","journal-title":"Inform. Control"},{"key":"4167_CR7","doi-asserted-by":"crossref","DOI":"10.1090\/cbms\/013","volume-title":"Automata on Infinite Objects and Church\u2019s Problem","author":"MO Rabin","year":"1972","unstructured":"Rabin, M.O., Automata on Infinite Objects and Church\u2019s Problem, Providence, R.I.: Amer. Math. Soc., 1972."},{"key":"4167_CR8","series-title":"Lect. Notes Math.","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0082721","volume-title":"Decidable Theories II","author":"JR B\u00fcchi","year":"1973","unstructured":"B\u00fcchi, J.R., The Monadic Second-Order Theory of \u03c9\n                  1, Decidable Theories II, M\u00fcller, G.H. and Siefkes, D., Eds., Lect. Notes Math., vol. 328, Berlin: Springer, 1973, pp. 1\u2013127."},{"key":"4167_CR9","first-page":"103","volume-title":"Proc. Int. Colloq. on Automata, Languages and Programming, Paris, France, 1972","author":"MP Sch\u00fctzenberger","year":"1973","unstructured":"Sch\u00fctzenberger, M.P., A propos des relations rationnelles fonctionnelles, Proc. Int. Colloq. on Automata, Languages and Programming, Paris, France, 1972, Nivat, M., Ed., Amsterdam: North-Holland, 1973, pp. 103\u2013114."},{"key":"4167_CR10","volume-title":"Konechnye avtomaty (povedenie i sintez)","author":"BA Trakhtenbrot","year":"1970","unstructured":"Trakhtenbrot, B.A. and Barzdin\u2019, Ya.M., Konechnye avtomaty (povedenie i sintez), Moscow: Nauka, 1970. Translated under the title Finite Automata; Behavior and Synthesis, Amsterdam: North-Holland, 1973."},{"key":"4167_CR11","volume-title":"Automata, Languages, and Machines, vol. A","author":"S Eilenberg","year":"1974","unstructured":"Eilenberg, S., Automata, Languages, and Machines, vol. A, New York: Academic, 1974."},{"key":"4167_CR12","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0022-0000(74)80051-6","volume":"8","author":"Y Choueka","year":"1974","unstructured":"Choueka, Y., Theories of Automata on \u03c9-Tapes: A Simplified Approach, J. Comput. System Sci., 1974, vol. 8, pp. 117\u2013141.","journal-title":"J. Comput. System Sci."},{"issue":"3","key":"4167_CR13","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/S0019-9958(81)90663-X","volume":"48","author":"W Thomas","year":"1981","unstructured":"Thomas, W., A Combinatorial Approach to the Theory of \u03c9-Automata, Inform. Control, 1981, vol. 48, no. 3, pp. 261\u2013283.","journal-title":"Inform. Control"},{"issue":"5","key":"4167_CR14","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1090\/S0002-9904-1965-11384-2","volume":"71","author":"JR B\u00fcchi","year":"1965","unstructured":"B\u00fcchi, J.R., Decision Methods in the Theory of Ordinals, Bull. Amer. Math. Soc., 1965, vol. 71, no. 5, pp. 767\u2013770.","journal-title":"Bull. Amer. Math. Soc."},{"key":"4167_CR15","series-title":"Lect. Notes Comp. Sci","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BFb0054310","volume-title":"Proc. 3rd Latin American Sympos. on Theoretical Informatics (LATIN\u201998). Campinas, Brazil. April 20\u201324, 1998","author":"N Bedon","year":"1998","unstructured":"Bedon, N. and Carton, O., An Eilenberg Theorem for Words on Countable Ordinals, Proc. 3rd Latin American Sympos. on Theoretical Informatics (LATIN\u201998). Campinas, Brazil. April 20\u201324, 1998, Lucchesi, C.L. and Moura, A.V., Eds., Lect. Notes Comp. Sci, vol. 1380, Berlin: Springer, 1998, pp. 53\u201364."}],"container-title":["Problems of Information Transmission"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S003294601302004X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S003294601302004X","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S003294601302004X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S003294601302004X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:38:49Z","timestamp":1775011129000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S003294601302004X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,4]]}},"alternative-id":["4167"],"URL":"https:\/\/doi.org\/10.1134\/s003294601302004x","relation":{},"ISSN":["0032-9460","1608-3253"],"issn-type":[{"value":"0032-9460","type":"print"},{"value":"1608-3253","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4]]},"assertion":[{"value":"5 September 2011","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 February 2013","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 July 2013","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}