Изменения

'''Формальная грамматика''' (англ. ''Formal grammar'') — способ описания формального языка, представляющий собой четверку<tex>\Gamma =\langle \Sigma, N, S \in N, P \subset N^{+}\times (\Sigma\cup N)^{*}\rangle</tex>, где <tex>\Sigma</tex> — [[Основные_определения: алфавит, слово, язык, конкатенация, свободный моноид слов|алфавит]], элементы которого называют '''терминалами'''(англ. ''terminals''), <tex>N</tex> — множество, элементы которого называют '''нетерминалами'''(англ. ''nonterminals''), <tex>S</tex> — начальный символ грамматики, <tex>P</tex> — набор правил вывода(production rules) <tex>\alpha\rightarrow \beta</tex>.