Для каждой КС-грамматики Г, содержащей леворекурсивные правила, можно построить эквивалентную грамматику Г', не содержащую леворекурсивных правил:
Для КС-грамматики Г, содержащей цепные правила, можно построить эквивалентную ей грамматику Г', не содержащую цепных правил:
Для обозначения последовательности сменяющих друг друга конфигураций используется знак | -->:
Если все символы правой части являются производящими, то производящим является и символ, стоящий в левой части:
Исключить бесполезные символы из грамматики можно, удаляя правила, содержащие в начале непроизводящие, а затем недостижимые символы:
Контекстно-свободная грамматика, не содержащая аннулирующих правил, - разделенная грамматика:
Магазинные автоматы позволяют решать для контекстно-свободных языков задачу распознавания:
Магазинные автоматы часто называют распознавателями:
Множество ВЫБОР строится для каждого правила:
Множество цепочек, запускаемых автоматом, - язык, определяемый автоматом:
Наиболее часто используемыми формами ПП является ориентированный граф:
Непроизводящий символ - символ, из которого может быть выведена конечная терминальная цепочка:
Правило <A> --> <A> a - леворекурсивное правило:
При построении магазинных автоматов потребуются три разновидности функций переходов, изменяющих состояние автомата без перемещения входной головки:
Приведенная грамматика - грамматика, не содержащая бесполезных символов:
Простейшей формой промежуточного представления является синтаксическое дерево программы:
Способ построения распознавателя предусматривает сопоставление каждому правилу грамматики команды распознавателя: