afficher >><< masquer ]
SAMPI - Editeur structuré
1. Le Problème et la Proposition
2. Le Langage Primitif de Représentation Textuelle
2.1. Présentation de la Syntaxe Concrète
2.2. Notations
2.3. Exemple de structuration des données
2.4. Exemple de structuration des traitements
2.5. Exemple de structurations connexes
3. Le Langage Complété pour la Structuration des Textes
3.1. Présentation de la Syntaxe Complétée
3.2. Etude quantitative de l'évolution des programmes
3.3. L'édition syntaxique
3.4. étude de cas : le langage LTR3 et l'atelier ENTREPRISE
4. L'Enrichissement du Langage par de Nouveaux Concepts
4.1. Présentation de la Syntaxe Abstraite
4.2. Les difficultés
4.3. Compléter la Syntaxe
5. La Formalisation des Solutions Techniques
5.1. L'évaluation fonctionnelle
5.2. La structuration par les objets
5.3. Modèle sémantique comparé de l'évaluateur
5.4. Comparaison critique
5.5. Construction de la Syntaxe Abstraite
5.5.1. La syntaxe de la syntaxe abstraite
5.5.11.1. Définitions
5.5.11.2. Opérateurs
5.5.11.3. Phyla
5.5.11.4. Remarque
5.5.2. Le graphe des phyla
5.5.3. Construction du graphe
6. Les Comparaisons avec d'autres Approches
7. Les Perspectives
8. Les Editeurs
8.0. brisé sur la barrière de la complexité (une fois de plus)
8.1. L'éditeur ligne : Manuel de l'utilisateur
8.2. L'éditeur page : Guide de l'utilisateur
9. Les Aspects d'Implantation
9.1. Contexte d'évaluation
9.2. La Syntaxe Abstraite : Manuel du concepteur
9.3. L'éditeur page : Guide de l'implanteur
Références
Rubrique Perl-Javascript

La syntaxe de la syntaxe abstraite

1. Définitions

2. Opérateurs

3. Phyla

4. Remarque

4. Remarque

Avec les notations ensemblistes, les définitions s'expriment comme suit :

opérateur d'arité fixe

oper -> PHYL1···PHYLN ;
donne :
oper ∈ PHYL1×···×PHYLN
(produit cartésien des ensembles PHYL1···PHYLN).

opérateur de liste

oper -> PHYL*... ;
donne :
oper ∈ PHYLn
n=0
(ensemble des suites finies à valeur dans PHYL).

terminal instanciable

oper -> implemented as PHYL ;
donne :
oper ∈ PHYL
(PHYL est l'ensemble des valeurs que peut prendre le terminal instanciable).

phylum

PHYL ::= PHYL1···PHYLN oper1···operM ;
donne :
PHYL = PHYL1∪···∪PHYLN∪{oper1,···,operM}
(PHYL est la réunion des ensembles PHYL1···PHYLN et de l'ensemble donné en extension qui contient les opérateurs oper1···operM).