Le cours présente la théorie des automates sur les mots infinis. Il commence avec la théorie de Büchi et McNaughton. On aborde ensuite les aspects topologiques des mots infinis et le lien avec la hiérarchie de Borel. Le lien avec la logique est abordé ainsi que celui avec la théorie des jeux.
Bibliographie :
W. Thomas, Automata on Infinite Objects, inHandbook of Theoretical Computer Science, North Holland, 1992.