Avec les notations ensemblistes, les définitions s'expriment comme suit :
opérateur d'arité fixe
oper -> PHYL1···PHYLN ;oper ∈ PHYL1×···×PHYLNPHYL1···PHYLN).opérateur de liste
oper -> PHYL*... ;oper ∈ | ∞ | PHYLn |
∪ |
||
n=0 |
PHYL).terminal instanciable
oper -> implemented as PHYL ;oper ∈ PHYLPHYL est l'ensemble des valeurs que peut prendre le terminal instanciable).phylum
PHYL ::= PHYL1···PHYLN oper1···operM ;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).