Для синтаксического анализа имеется вполне вменяемая  теория, есть и всякие утилиты помогающие в создании синтаксических анализаторов (тот же lex/yacc например).

А есть ли что-то для обратной задачи? Т.е. синтаксического синтезатора. Т.е. нечто позволяющее генерировать гарантированно валидный текст с т.з. вот этой вот грамматики.