Un des cours (de première année) dont je suis responsable
à l'ENST Télécom
ParisTech ParisSaclay NewUni l'école où
j'enseigne concerne la théorie des langages [formels],
c'est-à-dire les langages rationnels, expressions rationnelles et
automates finis, les langages algébriques et grammaires hors-contexte,
et pour finir une toute petite introduction à la calculabilité (sujet
dont je me suis déjà plaint,
et plus d'une fois, de la
difficulté à l'enseigner proprement). J'ai tout juste fini d'en
réécrire le poly, complètement en retard puisque le cours a déjà
commencé et qu'il va falloir du temps pour l'impression.
Comme je suis partisan de l'ouverture et de la disponibilité des
documents
d'enseignement, voici
les notes en question. Si certains de mes lecteurs sont
intéressés par ce sujet, ou veulent m'aider à traquer les erreurs qui
demeurent certainement nombreuses, n'hésitez pas à me faire parvenir
vos commentaires (mais comme je mets à jour ce lien régulièrement,
pensez à recopier la ligne Git
de la première page pour que je
sache à quelle version vous faites référence).
(Il va de soi que le contenu lui-même, qui est le résultat de divers compromis, que ce soit sur le temps imparti ou sur l'équilibre entre mathématiques et informatique pratique, est souvent boiteux. Ce n'est pas la peine de me faire des remarques à ce sujet ; enfin, ce n'est pas qu'elles soient mal venues, c'est juste qu'elles ne seront pas suivies d'effets.)