{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T04:51:34Z","timestamp":1768279894237,"version":"3.49.0"},"reference-count":18,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1983,12,1]],"date-time":"1983-12-01T00:00:00Z","timestamp":439084800000},"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":10821,"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,12]]},"DOI":"10.1016\/0022-0000(83)90051-x","type":"journal-article","created":{"date-parts":[[2003,12,4]],"date-time":"2003-12-04T07:01:00Z","timestamp":1070521260000},"page":"434-448","source":"Crossref","is-referenced-by-count":55,"title":["Finite-state \u03c9-languages"],"prefix":"10.1016","volume":"27","author":[{"given":"Ludwig","family":"Staiger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/0022-0000(83)90051-X_BIB1","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1145\/321239.321249","article-title":"Derivatives of regular expressions","volume":"11","author":"Brzozowski","year":"1964","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0022-0000(83)90051-X_BIB2","series-title":"Proceedings, 1960 Int. Congr. for Logic","first-page":"1","article-title":"On a decision method in restricted second order arithmetic","author":"Buchi","year":"1962"},{"issue":"2","key":"10.1016\/0022-0000(83)90051-X_BIB3","doi-asserted-by":"crossref","first-page":"166","DOI":"10.2307\/2271090","article-title":"Definability in the monadic second-order theory of successor","volume":"34","author":"Bochi","year":"1969","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0022-0000(83)90051-X_BIB4","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0022-0000(74)80051-6","article-title":"Theories of automata on \u03c9-tapes. A simplified approach","volume":"8","author":"Choueka","year":"1974","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(83)90051-X_BIB5","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/S0022-0000(77)80004-4","article-title":"Theory of \u03c9-languages. I, II","volume":"15","author":"Cohen","year":"1977","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(83)90051-X_BIB6","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0022-0000(78)90019-3","article-title":"\u03c9-Computations on deterministic pushdown machines","volume":"16","author":"Cohen","year":"1978","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(83)90051-X_BIB7","series-title":"Topology I","author":"Kuratowski","year":"1974"},{"key":"10.1016\/0022-0000(83)90051-X_BIB8","series-title":"Algebraische Codierungstheorie-Theoree der sequentiellen Codierungen","author":"Lindner","year":"1977"},{"key":"10.1016\/0022-0000(83)90051-X_BIB9","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/S0019-9958(76)90415-0","article-title":"On cu-sets associated with context-free languages","volume":"31","author":"Linna","year":"1976","journal-title":"Inform. and Control"},{"key":"10.1016\/0022-0000(83)90051-X_BIB10","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1016\/S0019-9958(66)80013-X","article-title":"Testing and generating infinite sequences by a finite automaton","volume":"9","author":"McNaughton","year":"1966","journal-title":"Inform. and Control"},{"key":"10.1016\/0022-0000(83)90051-X_BIB11","series-title":"Theory of Automata","author":"Salomaa","year":"1969"},{"key":"10.1016\/0022-0000(83)90051-X_BIB12","series-title":"Zur Topologie der regul\u00e4ren Mengen","author":"Staiger","year":"1976"},{"issue":"6","key":"10.1016\/0022-0000(83)90051-X_BIB13","first-page":"307","article-title":"Regulare Nullmengen","volume":"12","author":"Staiger","year":"1976","journal-title":"Elektron. Informationsverarb. Kybernet."},{"issue":"5\u20136","key":"10.1016\/0022-0000(83)90051-X_BIB14","first-page":"245","article-title":"A note on connected \u03c9-languages","volume":"16","author":"Staiger","year":"1980","journal-title":"Elektron. Info rmationsverarb. Kybernet."},{"issue":"4","key":"10.1016\/0022-0000(83)90051-X_BIB15","first-page":"379","article-title":"Automatentheoretische and automatenfreie Charakterisierungen topologischer Klassen regul\u00e4rer Folgenmengen","volume":"10","author":"Staiger","year":"1974","journal-title":"Elektron. Informationsverarb. Kybernet."},{"issue":"1","key":"10.1016\/0022-0000(83)90051-X_BIB16","first-page":"103","article-title":"Finite automata and the logic of one-place predicates","volume":"3","author":"Trachtenbrot","year":"1962","journal-title":"Siberian Math. J."},{"key":"10.1016\/0022-0000(83)90051-X_BIB17","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S0019-9958(79)90653-3","article-title":"On \u03c9-regular sets","volume":"43","author":"Wagner","year":"1979","journal-title":"Inform. and Control"},{"key":"10.1016\/0022-0000(83)90051-X_BIB18","series-title":"On \u03c9-Languages whose syntactic monoid is trivial","author":"Jurgensen","year":"1982"}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002200008390051X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002200008390051X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T08:51:16Z","timestamp":1550307076000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/002200008390051X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,12]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1983,12]]}},"alternative-id":["002200008390051X"],"URL":"https:\/\/doi.org\/10.1016\/0022-0000(83)90051-x","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[1983,12]]}}}