В конечных автоматах цепочка считается принадлежащей языку, если хотя бы одна из последовательностей шагов:

Если существует, по крайней мере, одна выводимая в грамматике цепочка, для которой существует более одного вывода, то такая грамматика является:

Идея создания некоторого обобщенного алгоритма, проверяющего за конечное число шагов принадлежность данной цепочки языку является альтернативой:

Если мы предположим, что начальные состояния конечных автоматов эквивалентны, то мы можем получить:

Входная цепочка может начинаться с любого:

Цепочка символов, составляющая исходную программу на языке программирования является:

Сегодня идея виртуальных машин приобрела широкую известность благодаря языку:

Символы входной цепочки переносятся в магазин до тех пор, пока на вершине магазина не накопится цепочка, совпадающая с правой частью какого-нибудь из правил:

Процесс, который определяет, принадлежит ли некоторая последовательность лексем языку, порождаемому грамматикой называется:

Удобная форма записи конечных автоматов – это:

В следующей грамматике:

S->aABeA->AbcA->bB->d

цепочка abbcde может быть свернута в аксиому следующим образом: