Редактирование: Конструирование Компиляторов, Теоретический минимум (2009)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 30 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 277: | Строка 277: | ||
== Определение множества FIRST1 == | == Определение множества FIRST1 == | ||
- | FIRST1 — множество всех терминальных символов, с которых может начинаться цепочка терминальных символов, выводимых из цели грамматики или ε, если u ⇒* ε. | ||
- | |||
- | Пример: | ||
- | |||
- | * S → aS | A | ||
- | * A → b | bSd | bA | ε | ||
- | * FIRST1 = {a, b, ε} | ||
- | |||
== Определение множества FOLLOW1 == | == Определение множества FOLLOW1 == | ||
== Определение LL(1) грамматики == | == Определение LL(1) грамматики == |