Rappels de mathématique, langages formels, automates, arbres et
graphes, grammaires formelles.
Emploi du temps
Horaires : |
Jeudi, de 13:00 à 15:00 |
Salle : |
4, bât. A |
Rythme : |
Semestriel (S1) |
Premier cours |
Jeudi 04 Octobre |
ATTENTION : Séance du 10 Janvier annulée, pour
cause de journée
d'action Paris 7 Rive Gauche
Dispositions de rattrapage :
- Polycopiés à télécharger et à lire pour le 17/01
- Fin Ch5 au format PS ou PDF
- Début Ch6 au format PS ou PDF
- Séance du 17 alongée d'une heure : de 13:00 à 16:00
|
|
Plan (indicatif) du cours
- Introduction & rappels (mathématiques, langages formels, automates)
- Automates : algorithmes
- Retour sur les arbres
- Graphes
- Grammaires formelles
- Polycopié au format PS ou PDF
- Introduction à l'analyse syntaxique (parsing)
- Stratégies d'analyse
[page 2, PS ou PDF]
- Analyse lexicale
[page 2, PS ou PDF]
- Analyse descendante
- Algorithme
[pages 3&4, PS ou PDF]
- Récursivité
[pages 6&7, PS ou PDF]
- Forme de Greibach
Pas de poly avant l'examen
- Factorisation gauche
- Analyse ascendante
|
Modalités de contrôle
- Contrôle continu
Un DST (30%), un DNS facultatif (20%) et un partiel en fin de
semestre (50%)
OU
Un DST (40%) et un partiel en fin de
semestre (60%)
- Contrôle terminal
Un examen en fin de semestre (100%)
|
- Devoir sur table n° 1 : jeudi 06 décembre,
horaire et salle habituels.
- Devoir non surveillé n° 2 : à rendre le 17 janvier 2002.
- Examen final (pour tous les étudiants) : ve 25
janvier 2002
de 9h00 à 12h00, salle RC2. Aucun document autorisé.
|