Аноним

Грамматика: различия между версиями

Материал из WikiGrapp
нет описания правки
Нет описания правки
Нет описания правки
Строка 5: Строка 5:
(2) <math>\Sigma</math> ---  не пересекающийся с <math>N</math> алфавит [[терминальный символ|''терминальных символов'']], или [[терминал|''терминалов'']];
(2) <math>\Sigma</math> ---  не пересекающийся с <math>N</math> алфавит [[терминальный символ|''терминальных символов'']], или [[терминал|''терминалов'']];


(3) <math>P</math>~--- конечное множество так называемых [[правило|''правил'']] (или [[продукция|''продукций'']])~--- слов вида <math>\alpha\longrightarrow\beta ,</math> где
(3) <math>P</math> --- конечное множество так называемых [[правило|''правил'']] (или [[продукция|''продукций'']])--- слов вида <math>\alpha\longrightarrow\beta ,</math> где
<math>\alpha\in(N\cup\Sigma)^*N(N\cup\Sigma)^*</math> --- ''заменяемая'' [[цепочка|''цепочка'']],
<math>\alpha\in(N\cup\Sigma)^*N(N\cup\Sigma)^*</math> --- ''заменяемая'' [[цепочка|''цепочка'']],
<math>\beta\in(N\cup\Sigma)^*</math> --- ''заменяющая'' цепочка и <math>\longrightarrow</math> --- символ, не принадлежащий ни <math>N</math>, ни <math>\Sigma</math>;
<math>\beta\in(N\cup\Sigma)^*</math> --- ''заменяющая'' цепочка и <math>\longrightarrow</math> --- символ, не принадлежащий ни <math>N</math>, ни <math>\Sigma</math>;