Для деревянной грамматики, у которой в правой части правил находятся образцы произвольного вида, существует:
Чтобы проверить применимость правила для текущей вершины, проверяется соответствие этой вершины образцу в правой части правила - для этого используется функция:
Все имена и литералы, содержащиеся в правой части правила нумеруются:
Правила грамматики в нормальной форме содержат в правой части:
В случае, когда выражение в правой части не имеет побочных эффектов, а переменная в левой части более нигде не используется, данный оператор становится:
Компиляторы, разработанные на базе грамматик:
Иерархия Хомского - это классификация грамматик согласно:
Определение грамматик не накладывает никаких ограничений на количество:
С помощью каких грамматик можно определить большинство использующихся в настоящее время языков программирования?
Если программа выводима в грамматике, это еще не означает, что она полностью:
