Изменения

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