Странный вопрос: вот есть у меня какая-то грамматика, там есть правила вывода и аксиома и прочее от грамматики. Можно как-то на типчиках (необязательно на скале) записать ее так, чтобы я мог получить язык, который эта грамматика порождает? Ну или иметь возможность проверять какие слова принадлежат этому языку.
Подозреваю, что может быть такое невозможно для произвольной грамматики, тогда можно как-то ослабить ее