next up previous contents
Next: Programmes des cours de Up: Programme des cours de Previous: Techniques combinatoiresJacques Désarménien

Automates et logique, Dominique Perrin

Le cours porte sur les extensions de la théorie des automates à des cas plus généraux que ceux qui sont traités dans un cours de compilation ou de théorie des automates de niveau ma^itrise. Il permet aussi à des étudiants qui n'ont pas suivi un tel cours auparavant de rattraper les autres.

Principaux sujets traités :

  1. transducteurs (lien avec le traitement de langues naturelles).
  2. séries formelles (lien avec l'analyse combinatoire).
  3. mots infinis et logique.


Dominique Perrin
Thu May 2 14:25:15 METDST 1996