La Syntaxe Initiale

3. Résumé

Les tableaux suivants présentent les différents attributs définis pour les phyla et les opérateurs de la syntaxe initiale.

phylum `ENV`	cas nul	cas atome	cas liste
recherche	`recht-err`	`recht-err`	`recht-err`
complétion	`cpltt-ENV-nil`	`cpltt-ENV-nil`	`cpltt-ENV-nil`
impression	`imptt-ENV-nil`	`imptt-atome`	`imptt-liste`
entrée	`entre-err`	`entre-err`	`entre-err`
sortie	`sorte-err`	`sorte-err`	`sorte-err`
impression évaluée	`evale-err`	`evale-err`	`evale-err`

phylum `REP`	cas nul	cas atome	cas liste
recherche	`recht-err`	`recht-err`	`recht-err`
complétion	`cpltt-REP-nil`	`cpltt-REP-nil`	`cpltt-REP-nil`
impression	`imptt-REP-nil`	`imptt-atome`	`imptt-liste`
entrée	`entre-err`	`entre-err`	`entre-err`
sortie	`sorte-err`	`sorte-err`	`sorte-err`
impression évaluée	`evale-err`	`evale-err`	`evale-err`

phylum `LSP`	cas nul	cas atome	cas liste
recherche	`recht-err`	`recht-err`	`recht-err`
complétion	`cpltt-LSP-nil`	`cpltt-LSP-nil`	`cpltt-LSP-nil`
impression	`imptt-LSP-nil`	`imptt-atome`	`imptt-liste`
entrée	`entre-err`	`entre-err`	`entre-err`
sortie	`sorte-err`	`sorte-err`	`sorte-err`
impression évaluée	`evale-err`	`evale-err`	`evale-err`

phylum `TRM`	cas nul	cas atome	cas liste
recherche	`recht-err`	`recht-err`	`recht-err`
complétion	`cpltt-err`	`cpltt-err`	`cpltt-ref`
impression	`imptt-err`	`imptt-atome`	`imptt-liste`
entrée	`entre-err`	`entre-err`	`entre-err`
sortie	`sorte-err`	`sorte-err`	`sorte-err`
impression évaluée	`evale-err`	`evale-err`	`evale-err`

phylum `ATM`	cas nul	cas atome	cas liste
recherche	`recht-err`	`recht-err`	`recht-err`
complétion	`cpltt-err`	`cpltt-ATM-atome`	`cpltt-use`
impression	`imptt-err`	`imptt-ATM-atome`	`imptt-liste`
entrée	`entre-err`	`entre-err`	`entre-err`
sortie	`sorte-err`	`sorte-err`	`sorte-err`
impression évaluée	`evale-err`	`evale-ATM`	`evale-err`

phylum `SEX`	cas nul	cas atome	cas liste
recherche	`recht-err`	`recht-err`	`recht-err`
complétion	`cpltt-err`	`cpltt-atome`	`cpltt-liste`
impression	`imptt-err`	`imptt-atome`	`imptt-liste`
entrée	`entre-err`	`entre-atome`	`entre-liste`
sortie	`sorte-err`	`sorte-err`	`sorte-err`
impression évaluée	`evale-err`	`evale-ATM`	`evale-err`

opérateurs
	`env`	`rep`	`lsp`
évaluation	`evalt-env`	`evalt-rep`	`evalt-lsp`
recherche	`recht-env`	`recht-err`	`recht-err`
complétion	`cpltt-env`	`cpltt-rep`	`cpltt-lsp`
impression complète	`imptt-env`	`imptt-rep`	`imptt-lsp`
impression concise	`imptc-env`	`imptc-rep`	`imptc-lsp`
entrée	`entre-env`	`entre-rep`	`entre-lsp`
sortie	`sorte-env`	`sorte-rep`	`sorte-lsp`
impression évaluée	`evale-ENV`	`evale-REP`	`evale-LSP`

	`def`	`ref`	`stg`	`use`
évaluation	`evalt-def`	`evalt-ref`	`evalt-stg`	`evalt-use`
recherche	`recht-def`	`recht-ref`	`recht-err`	`recht-err`
complétion	`cpltt-def`	`cpltt-ref`	`cpltt-stg`	`cpltt-use`
impression complète	`imptt-def`	`imptt-ref`	`imptt-stg`	`imptt-use`
impression concise	`imptc-def`	`imptc-ref`	`imptc-stg`	`imptc-use`
entrée	`entre-def`	`entre-ref`	`entre-stg`	`entre-use`
sortie	`sorte-def`	`sorte-ref`	`sorte-err`	`sorte-use`
impression évaluée	`evale-TRM`	`evale-TRM`	`evale-ATM`	`evale-ATM`