Редактирование: Конструирование Компиляторов, Теоретический минимум (2009)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 30 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 293: | Строка 293: | ||
== Определение LR(1) грамматики == | == Определение LR(1) грамматики == | ||
- | Грамматика называется LR(1), если из условий | ||
- | |||
- | 1. <math>S' =>_r uAw =>_r uvw</math>, | ||
- | |||
- | 2. <math>S' =>_r zBx =>_r uvy</math>, | ||
- | |||
- | 3. FIRST(w) = FIRST(y) | ||
- | |||
- | следует, что uAy = zBx (т.е. u = z, A = B и x = y). | ||
== Какого типа конфликты могут появиться в канонической системе множеств LR(1) ситуаций? == | == Какого типа конфликты могут появиться в канонической системе множеств LR(1) ситуаций? == |