• Aucun résultat trouvé

Grammaires `a attributs

N/A
N/A
Protected

Academic year: 2022

Partager "Grammaires `a attributs"

Copied!
2
0
0

Texte intégral

(1)

Compilation - TD6

Grammaires `a attributs

1 Grammaire du langage Alpha

System -> ’system’ id ’(’ InputDeclList ’)’

’returns’ ’(’ OutputDeclList ’)’

’var’ LocalDeclList ; EquationBlock;

| ’system’ id ’(’ InputDeclList ’)’

’returns’ ’(’ OutputDeclList ’)’

EquationBlock;

InputDeclList -> VarDeclList OutputDeclList -> VarDeclList LocalDeclList -> VarDeclList

VarDeclList -> VarDeclList ’;’ VarDecl

| VarDecl

VarDecl -> id ’:’ Domain ’of’ Type;

Type -> ’real’ | ’boolean’ | ’integer’ // peut ˆetre un token Domain -> ’{’ IdList ’|’ IneqList ’}’

IdList -> NonEmptyIdList |

NonEmptyIdList -> NonEmptyIdList ’,’ id

| id

IneqList -> NonEmptyIneqList |

NonEmptyIneqListt -> NonEmptyIneqList’;’ Ineq

| Ineq

Ineq -> AffineExp Comparator AffineExp

Comparator -> ’<’ | ’>’ | ’=’ | ’<=’ | ’>=’ // peut ˆetre un token AffineExp -> TermSum | ’-’ TermSum

TermSum -> TermSum ’+’ Term

| TermSum ’-’ Term

| Term

Term -> integer id | id | integer

(2)

EquationBlock -> ’let’ EquationList ’tel’

EquationList -> EquationList ’;’ Equation

| Equation Equation -> id ’=’ Expression Expression -> Expression ’+’ Term

| Expression ’-’ Term

| Term

| ’-’ Term Term -> Term ’*’ Factor

| Term ’/’ Factor

| Factor

Factor -> ’case’ ExpressionList ’esac’

| Domain ’:’ Expression // Quel parenth´esage

| Expression ’.’ AffineFunction // entre ces deux l`a ?

| (Expression)

ExpressionList -> ExpressionList ’;’ Expression

| Expression

AffineFunction -> ’(’ IdList ’->’ AffineExpList ’)’

AffineExpList -> NonEmptyAffineExpList |

NonEmptyAffineExpList -> NonEmptyAffineExpList ’,’ AffineExp

| AffineExp

2

Références

Documents relatifs

Exercice 7 Montrer qu’il existe un algorithme pour reconnaˆıtre un langage contexte-sensitif, c’est-` a-dire r´ epondant oui si le mot d’entr´ ee est dans le langage, et non

JACQUES LABELLE, Université du Québec à Montréal ÉRIC LAPORTE, IGM, CNRS, Université de Marne-la-Vallée CHRISTIAN LECLÈRE, IGM, CNRS, Université de Marne-la-Vallée. C OMITÉ

Dans notre contexte, l’aspect affectation englobe toute r´ epartition des services sur un ensem- ble de ressources, comme des v´ ehicules, types de v´ ehicules, d´ epˆ ots ou

Question 1-2 Donnez la grammaire d’une fonction affine, la grammaire d’un domaine, la grammaire d’une expression A LPHA que l’on supposera toujours sous la

Plus tard, la valeur de cet attribut sera examinée en parcourant la liste qui compose la page, et à chaque changement de la valeur, un bidule sera inséré pour rendre e ff ectif

Le premier membre d’une règle de grammaire est un SNT (la règle en constitue la définition), le second membre est une famille ordonnée (éventuellement vide) de symboles, terminaux

Pour trouver plusieurs blocs de mémoire libre, plusieurs accès de disque pourraient être demandés. Pour augmenter l’efficacité, nous pouvons garder en mémoire centrale

La relative pauvret´e (quantitativement) de l’ensemble des exemples suffisant `a l’acquisition de la grammaire chez l’enfant, li´ee au processus bas´e uniquement sur des exem-