1Fermer3
squalylLe 15/04/2009 à 00:16
pour savoir si c'est LL1 buche ton cours et les ensembles premiers, suivant.
tip: écris pas de | mais répète bien les parties gauches ça aide a voir


2: tu peux pas savoir au niveau de l'analyse syntaxique, c'est l'analyse sémantique qui analysera les types.

tout ce que tu peux faire c'est
déclaration ::= ident ':' [decltab] ident [ ':=' initialisation ]
decltab ::= 'array' '(' entier '..' entier ')' 'of'
initialisation ::= init_simple | init_tableau
init_simple ::= expression
init_tableau ::='(' entier ( ',' entier )* ')'
avec [a] = a zéro ou une fois
et (a)* = a un nombre quelconque de fois même zéro

les types tu les connais pas encore a cette étape, donc faut prévoir tous les cas, et certains programmes syntaxiquement corrects seront sémantiquement incorrects.

oui, les langages avec assignement de tableaux comme pascal ou ada sont chiants cheeky