Forme BNF de la grammaire

Voici finalement, sous forme BNF, la grammaire que nous avons utilisé :

<session>          ::= <suite_de_phrases>.

<suite_de_phrases> ::= <phrase>                          |
                       <phrase> ; <suite_de_phrases>     |
                       ; <suite_de_phrases>              |
					   .

<phrase>           ::= <regle>                   	       |
                       $ <regle>                 	       |
                       ? <question>              	       |
                       ! <commande> 


<regle>            ::= <terme> -> <suite_de_termes>      | 
                       <terme> ->


<question>         ::= <suite_de_termes>

<suite_de_termes>  ::= <terme> , <suite_de_termes>       |
                       <terme>
<terme>            ::= <foncteur> ( <suite_de_termes> )  |
                       <foncteur>                        |
                       <variable> 

<foncteur>         ::= <symbole>

<variable>         ::= * <symbole>