AG>объяснили, зачем.

У них в первом же предложении:

strings called tokens, separated by whitespace

но это не бросается в глаза.
Дальше они уводят дискуссию в сторону, призывая
—

the "Chomsky Hierarchy"

—

the need for backtracking

Всё как обычно. Просто эталонный образец.

Они не дают способа формального описания разделения двух грамматик.

AG>объяснили, зачем.

У них в первом же предложении:

strings called tokens, separated by whitespace

но это не бросается в глаза.
Дальше они уводят дискуссию в сторону, призывая
—

the "Chomsky Hierarchy"

—

the need for backtracking

Всё как обычно. Просто эталонный образец.

Они не дают способа формального описания разделения двух грамматик.
Что если нижная грамматика — это грамматика препроцессора? С директивами #include ?