14
правок
Изменения
Нет описания правки
|definition =
'''Формальная грамматика''' - четверка
<tex>\Gamma =<\langle \Sigma, N, S \in N, P \in N^{*}\times (\Sigma\bigcup cup N)^{*}>\rangle</tex> где '''<tex>\Sigma</tex>''' - [[алфавит]], '''<tex>N''' </tex> - набор нетерминалов, '''<tex>S''' </tex> - начальный символ грамматики, '''<tex>P''' </tex> - правило вывода <tex>\alpha\rightarrow \beta</tex>
}}
{{Определение
'''Язык грамматики''' - множество <tex>L(\Gamma) = \{\omega|S \Rightarrow^{*}\omega, \omega \in \Sigma^{*}\} </tex>
}}
То есть, '''<tex>L(\Gamma)</tex>''' - это все цепочки в алфавите <math>\Sigma</math>, которые выводимы из '''<tex>S''' </tex> с помощью '''<tex>P'''</tex>.
