anlyseur syntaxique: demande d'aide pour expliquer la grammaire.

bonjour,
j'ai un petit probleme sur l'ennoncé d'un exo. Je dois programmer un analyseur syntaxique, pour cela on me fournit une grammaire. Le problème c'est que je ne la comprends pas... je vous la donne:

expression -> somme;
somme -> produit | produit+ somme
produit -> terme | terme * produit
terme -> chiffre | ( somme)
chiffre -> 0|1|2|3|4|5|6|7|8|9

En fait voila ce que je comprends : on entre une expression, elle est bonne si elle est égal à une somme suivit d'un ;
cette somme est bonne si elle est un produit ou un produit plus une somme
ce produit est bon si il est un terme ou un terme* un produit...je pense que ce n'est pas exactement ça...

Si quelqu'un pouvait m'expliquer ce que cette grammaire veut dire.

J'ai une nouvelle question:
si je mets expression -> somme; ça veut dire que mon expression est juste si elle est égal à une somme suivit d'un point virgule.

Si je mets truc->a|b ça veut dire que truc est juste si il est égal à a ou à b.

Maintenant si je veux:

truc est vrai s'il est égal à
a et ou à b.
(donc on peut avoir soit a tout seul, soit b tout seuk soit a et b ensemble).

Je crois que la syntaxe pour écrire une telle grammaire est:

truc -> {a} {b}
Si quelqu'un à la réponse merci d'avance.

Je comprends pas trop le problème:
tutu -> a|b|ab