683
правки
Грамматика: различия между версиями
Материал из WikiGrapp
нет описания правки
KVN (обсуждение | вклад) |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 9: | Строка 9: | ||
<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>; | ||
(4) <math>S</math> --- выделенный символ из <math>N</math>, называемый начальным (или 'исходным'') символом. | (4) <math>S</math> --- выделенный символ из <math>N</math>, называемый ''начальным'' (или ''исходным'') символом. | ||
Важным преимуществом данного метода описания [[формальный язык|''формального языка'']] является то, что в отличие от [[распознаватель|''распознавателя'']] грамматика придает цепочкам ( | Важным преимуществом данного метода описания [[формальный язык|''формального языка'']] является то, что в отличие от [[распознаватель|''распознавателя'']] грамматика придает цепочкам (''предложениям'') языка полезную структуру, которая может использоваться, например, для | ||
придания смысла предложениям языка. Из терминальных символов образуются цепочки определяемого языка <math>L</math>, а нетерминальные символы используются при порождении языка <math>L</math> как вспомогательные. Сердцевину грамматики составляет конечное множество правил, которые могут | придания смысла предложениям языка. Из терминальных символов образуются цепочки определяемого языка <math>L</math>, а нетерминальные символы используются при порождении языка <math>L</math> как вспомогательные. Сердцевину грамматики составляет конечное множество правил, которые могут | ||
использоваться в процессе получения цепочек языка, или, как говорят, их ''вывода''. Если установлено, что некоторая цепочка <math>\gamma</math> порождается грамматикой (или, как говорят, ''выводится'' в ней), то также выводимой в данной грамматике является любая цепочка, которая | использоваться в процессе получения цепочек языка, или, как говорят, их ''вывода''. Если установлено, что некоторая цепочка <math>\gamma</math> порождается грамматикой (или, как говорят, ''выводится'' в ней), то также выводимой в данной грамматике является любая цепочка, которая | ||
