{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:04Z","timestamp":1725662824636},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540084426"},{"type":"electronic","value":"9783540370840"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/3-540-08442-8_79","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:26:51Z","timestamp":1330187211000},"page":"135-141","source":"Crossref","is-referenced-by-count":0,"title":["Operations on \u03c9-regular languages"],"prefix":"10.1007","author":[{"given":"Andrzej W\u0142odzimierz","family":"Mostowski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"16_CR1","unstructured":"Buchi, J.R., On a decision method in restricted second order arithmetic. Logic, methodology and philosophy of science: Proc. 1960 Intern. Congr., p. 1\u201311 \/Stanford Univ. Press, 1962\/MR 32 7413."},{"key":"16_CR2","doi-asserted-by":"crossref","first-page":"449","DOI":"10.2307\/2040034","volume":"53","author":"M. Karpi\u0144ski","year":"1975","unstructured":"Karpi\u0144ski, M., Almost deterministic \u03c9-automaton with exsistential output condition, Proc. Amer. Math. Soc. 53\/1975\/ p. 449\u2013452.","journal-title":"Proc. Amer. Math. Soc."},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Muller, D.E., Infinite sequences and finite machines. Swithing Circuit Theory and Logical Design, Proc. Fourth Am. Symp. p. 3\u201316 IEEE New York.","DOI":"10.1109\/SWCT.1963.8"},{"key":"16_CR4","doi-asserted-by":"crossref","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. Information and Control 9 \/1966\/ p. 521\u2013530. MR 35 4105.","journal-title":"Information and Control"},{"key":"16_CR5","unstructured":"Steiger, L., Wagner, K., Abstrakte familien von \u03c9-sprachen \/\u03c9-AFL\/. Tagungsbericht II Int. Symp. Algorithm Kompl. Lern u. Erkennungsproz. Jena 1976."},{"key":"16_CR6","unstructured":"Trachtenbrot, B.A., Barzdin, Ja., Konecnyje awtomaty, Moskwa 1970, pp 400."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08442-8_79.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:52:30Z","timestamp":1619556750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08442-8_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540084426","9783540370840"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-08442-8_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1977]]}}}