Сегодня идея виртуальных машин приобрела широкую известность благодаря языку:
В конечных автоматах цепочка считается принадлежащей языку, если хотя бы одна из последовательностей шагов:
Альтернативой построению новой грамматики может служить "соглашение", что в случае конфликта перенос-свертка:
Имеется следующая входная цепочка: if E1 then if E2 then S1 else S2, при содержимом стека - $ if E1 then if E2 then S1 необработанной частью входной цепочки является:
Процесс, который определяет, принадлежит ли некоторая последовательность лексем языку, порождаемому грамматикой называется:
Сколько символов входной цепочки использует для принятия решения LR(1)-анализатор:
Идея анализа потока управления заключается в следующем:
В разборе входной цепочки и выделении некоторых более "крупных" единиц, которые удобнее для последующего разбора заключается задача:
Алгоритм построения управляющей таблицы автомата состоит из следующих шагов:
Символы входной цепочки переносятся в магазин до тех пор, пока на вершине магазина не накопится цепочка, совпадающая с правой частью какого-нибудь из правил:
