Séquence 3

L'exercice suivant introduit une extension du théorème de Ramsey (théo- ... L'automate de la figure 1.7 (p. 31) est déterministe. Par contre,.