Редактирование: Конструирование Компиляторов, Определения
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 12: | Строка 12: | ||
'''Грамматика''' — G = (N, T, P, S) | '''Грамматика''' — G = (N, T, P, S) | ||
* N — множество нетерминальных символов (напр. A, B, C...) | * N — множество нетерминальных символов (напр. A, B, C...) | ||
- | * T (иногда E) — алфавит терминальных символов (N & | + | * T (иногда E) — алфавит терминальных символов (N ∪ T = ∅) |
* P — конечное множество правил вывода | * P — конечное множество правил вывода | ||
** P = {α → β | α ∈ (N ∪ T)<sup>+</sup>; β ∈ (N ∪ T)*} | ** P = {α → β | α ∈ (N ∪ T)<sup>+</sup>; β ∈ (N ∪ T)*} |