Ateliers

abstraction concrète
1. Fonctions d'ordre supérieur

1.1. Définitions
1.2. Composition de fonctions : les fonctionnelles
1.3. Exemples de fonctionnelles
1.4. Transformation de fonctions logiques
2. Langages
2.1. Longueur d'une chaînes
2.2. Langage
2.3. Concaténation de chaînes
3. Automates
3.1. Automate
3.2. Définition d'une fonction de transition généralisée à l'ensemble des chaînes
3.3. Exemple : l'automate A
3.4. Matrice de transition de l'automate A
3.5. Représentation du graphe de l'automate A
3.6. Reconnaissance d'une chaîne du langage L par l'automate A
3.7. Diagrammes syntaxiques
4. Grammaires
4.1. Grammaire
4.2. Notation BNF (Backus - Naur form)
4.3. 1er exemple de grammaire
4.4. Automate associé à une grammaire
4.5. 2e exemple de grammaire
5. Etude du polymorphisme des fonctions
5.1. Définition des fonctions
5.2. Inférence de types et fonctions polymorphes
5.3. Un exemple de typage
5.4. Evaluation de l'application d'une fonction polymorphe
5.5. Réflexion à propos de quelques fonctions polymorphes
6. Transformation de fonctions
6.1 Exemple des transformations de fonctions
6.2 Transformation des fonctions récursives
7. Le lambda-calcul
7.1. Syntaxe des expressions du lambda-calcul
7.2. Règle de conversion alpha : règle d'interchangeabilité du nom de la variable liée
7.3. Règle de conversion béta : règle de réduction - 7.4. Règle de conversion éta : règle d'extensionnalité
7.5. La transformation des expressions Caml en lambda-expressions
7.5.1. Syntaxe concrète des expressions Caml :
7.5.2. Syntaxe abstraite des expressions Caml :
7.5.3. Syntaxe concrete des lambda-expressions :
7.5.4. Syntaxe abstraite des lambda-expressions :
7.5.5. Le transformateur fun_to_lambda :
8. Les combinateurs
8.1. Les combinateurs K, C, W, B, S, T, I, S', B' et C'
8.2. La transformation lambda_to_iks : La lambda-machine
8.3. Règles de conversion trans (lambda -> IKS)
8.4. Optimisation opt
8.5. Règles de réduction red (IKS -> SKI)
8.6. Exemples récapitulés
9. Analyse lexicale d'une chaîne de caractères contenant une expression Caml
9.1. Types, exceptions et prédicats
9.2. Fonctions auxiliaires
9.3. Fonctions d'analyse lexicale
10. Analyse syntaxique d'une liste de chaînes de caractères exprimant l'expression Caml
10.1. Fonctions d'analyse syntaxique
10.2. L'imprimeur de lambda-expressions :
10.3. Exemple de conversion d'une chaîne Caml en lambda-expression

dernière modification : 06/12/96