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