Premiers éléments mathématiques et
informatiques nécessaires pour les approches formelles du TAL,
avec une insistance particulière sur le théorie des langages
formels. Les automates, en particulier, seront
examinés en détail. On s'intéressera aussi au
concept d'unification, très important dans les
formalismes grammaticaux modernes.
|
Organisation des séances
sem. | date | salle | Description | Liens |
1 | ven. 27 janv. | 065E | Ch1. Rappels mathématiques | Polycopié: définitions |
2 | ven. 03 févr. | 065E | Ch1. Rappels mathématiques
Exercices (th. des ensembles, langages formels) |
feuille d'exercices n°1 |
3 | ven. 10 févr. | 065E | Ch2. Automates | |
4 | ven. 17 févr. | 065E | Ch2. Automates (fin) Exercices |
feuille d'exercices n°2 |
5 | ven. 24 févr. | --- Pas de séance --- | ||
6 | ven. 02 mars | 065E, 10:30 | Ch3. Grammaires formelles (I) | |
7 | ven. 09 mars | 065E, 10:30 | Ch3. Grammaires formelles (II) | |
8 | ven. 16 mars | --- Pas de séance --- | ||
9 | ven. 23 mars | 065E, 10:30 | Ch3. Grammaires formelles (III)
Ch4.Théorème de Kleene (I) |
|
10 | ven. 30 mars | 065E, 10:30 | Exercices | feuille d'exercices n°3 |
11 | ven. 06 avr. | 065E, 10:30 | ||
12 | ven. 13 avr. | 065E, 10:30 |
Bibliographie
- à suivre
- La bibliographie que je donne pour le cours de Langages Formels est un bon point d'entrée.