14
правок
Изменения
Нет описания правки
{{Определение
|definition =
'''Язык грамматики''' - множество <tex>L(\Gamma) = \{\omega|S \Rightarrow^{*}\omega, \omega \in \Sigma^{*}\} </tex>, где <tex>\Rightarrow^{*} </tex> обозначает, что слово <tex>\omega</tex> выводимо из нетерминала <tex>S</tex> за некоторое число шагов.
}}
То есть, <tex>L(\Gamma)</tex> - это все цепочки в алфавите <tex>\Sigma</tex>, которые выводимы из <tex>S</tex> с помощью <tex>P</tex>.
