, Symposium on decision problems: On a decision method in restricted second order arithmetic, Logic, Methodology and Philosophy of Science Proceeding of the 1960 International Congress of Studies in Logic and the Foundations of Mathematics, p.111, 1960.
, Acceptance conditions for ?-languages and the Borel hierarchy
, The hierarchy of classes of ?-languages. The Borel hierarchy appears in bold boxes. Grayed boxes show the new classes studied in this paper. Arrows represent inclusions between classes. Classes in the same box are equal. The possibly missing arrows are from classes induced by (ninf, ) to CDFA(fin , =), the question is open in this case
, Acceptance Conditions for ??-Languages, Developments in Language Theory, p.320331, 2012.
DOI : 10.1007/978-3-642-31653-1_29
URL : https://hal.archives-ouvertes.fr/hal-01297584
, Sets of numbers dened by nite automata, American Mathematical Monthly, vol.74, p.539542, 1967.
, Decision problems for omega-automata, Mathematical Systems Theory, vol.3, issue.4, p.376384, 1969.
, Finite acceptance of innite words, Theoretical Computer Science, vol.174, issue.12, p.121, 1997.
, Accepting conditions for automata on ?languages, Theoretical Computer Science, vol.61, p.137147, 1988.
, Innite sequences and nite machines, Proceedings of the 1963 Proceedings of the Fourth Annual Symposium on Switching Circuit Theory and Logical Design, SWCT '63, p.316, 1963.
, Innite words, automata, semigroups, logic and games, Pure and Applied Mathematics, vol.141, 2004.
, Automatentheoretische und automatenfreie charakterisierungen topologischer klassen regulärer folgenmengen, Elektronische Informationsverarbeitung und Kybernetik, vol.10, issue.7, p.379392, 1974.
, On ??-regular sets, Information and Control, vol.43, issue.2, p.123177, 1979.
DOI : 10.1016/S0019-9958(79)90653-3