Редактирование: Конструирование Компиляторов, Теоретический минимум (2012)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 8: | Строка 8: | ||
* <math>~N</math> - алфавит нетерминальных символов | * <math>~N</math> - алфавит нетерминальных символов | ||
* <math>~T</math> - алфавит терминальных символов, <math>N \cap T = \varnothing</math>; | * <math>~T</math> - алфавит терминальных символов, <math>N \cap T = \varnothing</math>; | ||
- | * <math>~P</math> - множество правил вида <math>\alpha \rarr \beta | + | * <math>~P</math> - множество правил вида <math>\alpha \rarr \beta, \alpha \in ( N \cup T)^*N(N \cup T)^*, \beta \in (N \cup T)^*</math> |
* <math>S \in N</math> - начальный символ или аксиома грамматики | * <math>S \in N</math> - начальный символ или аксиома грамматики | ||