Discussion :

[popo]

Bonjour,

Pour les besoins d'un tutoriel j'ai besoin de définir la grammaire du JSON.
Pendant que je la rédigeais, un détail m'a chiffonné.

Sur le site du JSON on donne la définition suivante :

An object is an unordered set of name/value pairs. An object begins with { (left brace) and ends with } (right brace). Each name is followed by : (colon) and the name/value pairs are separated by , (comma).

J'en ai donc déduit la grammaire suivante :

Code EBNF :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
Object = LEFT_BRACE, [SetOfPairs], RIGHT_BRACE;
SetOfPairs = Pair, {COMMA, Pair};
Pair = String, COLON, Value;
LEFT_BRACE = "{";
RIGHT_BRACE = "}";
COMMA = ",";
COLON = ":";

Pourtant la grammaire donnée sur le site est la suivante :

Code EBNF :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
Object = LEFT_BRACE, [Members], RIGHT_BRACE;
Members = Pair, [COMMA, Members];
Pair = String, COLON, Value;
LEFT_BRACE = "{";
RIGHT_BRACE = "}";
COMMA = ",";
COLON = ":";

Le SetOfPairs a changé pour devenir Members. Ce n'est qu'un nommage, rien de bien méchant.
Ce que je ne comprends pas, c'est pourquoi la liste de Pair a été transformée en cet appel récursif à Members.

J'ai fait différents scénario sur papiers avec différents JSON.
Au final, les deux grammaires fonctionnent alors pourquoi cette transformation ?
Y'a t-il un détail qui m'échappe ?
Idem pour l'Array avec les "Elements" ?

[dourouc05]

À mon avis (ces notions commencent à dater pour moi…), les deux grammaires n'appartiennent pas à la même classe (une LL et une LR, un truc du genre ?).

[popo]

En effet, il me manquait ces notions.
Je me demande comment j'ai pu écrire des parseurs sans ces notions...

L'explication tirée de cet excellent blog http://blog.reverberate.org/2013/07/...mystified.html
est donc la suivante :

While this is more convenient and leads to simpler grammars, it makes parse trees conceptually a bit more complicated, because the number of children for a given grammar rule can vary. Also, LR parsers can’t support repetition operators (for example, Bison doesn’t support them)