Аноним

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

Материал из WEGA
нет описания правки
Нет описания правки
Строка 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> порождается грамматикой (или, как говорят, ''выводится'' в ней), то также выводимой в данной грамматике является любая цепочка, которая