Algorithmique avancée et compilation

Vendredi, 11:00-13:00, salle machine (1er étage, 155-7), 30, rue du château des rentiers, 13e
Premier cours : 7 octobre 2005
Pas de séance le 11 novembre (évidemment),

Ce cours se place comme un point de convergence entre les cours de M1 « sémantique computationn elle » et « syntaxe et sémantique des langages formels ». Avec une méthode de travail essentiellement technique (séances en salle machine, TP à toutes les séances), on étudiera la mise en place concrète de méthodes classiques de compilation, appliquées aux traitement sémantique/logique de la langue.


 

Programme de travail et liens

  • (07/10/05) Démarrage : reprise des fichiers lex et yacc produits l'an dernier: Il faut ajouter le makefile (renommer Makefile).
    Manipulations d'aujourd'hui : (1) introduction de priorités pour accepter des phrases non entièrement parenthésées ; (2) introduction de verbes transitifs (modification du modèle et de la grammaire).
  • (14/10/05) Commentaire détaillé sur les versions précédentes. Une « correction » possible est donnée ici : fichier yacc, fichier lex.
    Manipulations d'aujourd'hui : Retour vers la logique des prédicats
    • Langage complet de la logique des prédicats
    • Variables et constantes et prédicats typées dans le vocabulaire
    • Notations : & | -> ¬ E A
    • modèles comme précédemment
    • affectations possibles seulement sur les FA
    • évaluation : seulement les formules sans variables
    • l'objectif est à terme de construire l'arbre syntaxique
  • (21/10/05) (1) reconnaisseur de formules du 1er ordre ; (2) retour sur l'évaluation d'une formule.
  • (28/10/05) Introduction d'une « table des symboles »
    • On suppose un fichier lexique ayant la forme illustrée ici : 
      a cte
b cte
c cte
dort p1
aboie p1
aime p2
voit p2
x var
y var
    • Ce lexique, chargé en mémoire au début du parsing (appel à introduire dans la définition de main() dans XXX.y), est utilisé par l'analyseur lexical, qui y trouve les identificateurs acceptés et leur type.
    • Il est aussi utilisé pour le modèle : après le chargement en mémoire, il faut associer à chaque constante une valeur entre 0 et 4.
  • (04/11/05) Reconnaissance et interprétation de formules du 1er ordre : dernière séance. [À rendre pour le 16 décembre]. NB. Il n'est pas demandé de contrôler que la formule entrée est close.
  • (18/11/05) Implémentation du lambda-calcul (typé).
  • (25/11/05) Implémentation du lambda-calcul typé (suite).
  • (02/12/05) Calcul compositionnel d'une forme logique
  • (09/12/05) Calcul compositionnel d'une forme logique (suite)
  • (16/12/05) Evaluation des conditions de vérité de phrases en LN
 

 
 

Contrôles

Modalités
  • Contrôle continu : un travail personnel de TP à remettre en fin de semestre (40 %), et une épreuve en temps limité (session d'examen de janvier, 60%).
  • Contrôle final : une épreuve écrite pendant la session d'examen de janvier (100%).
Calendrier
  • Pour le 16 décembre : code commenté et trace de session pour le reconnaisseur de formules du premier ordre (spécifications) Date de remise repoussée au 6 janvier.
  • Epreuve en salle machine et en temps limité vendredi 6 janvier, horaire et lieu habituels
 
 

Ma maison-page January 10 2006