143
правки
Изменения
→Определения: вынес обозначения, добавил забытое
|definition =
'''Нетерминал''' — элемент, представляющий некоторую сущность языка (например, часть формулы) и не имеющий конкретного значения.<br/>
}}
|definition =
'''Терминал''' — элемент [[Основные_определения: алфавит, слово, язык, конкатенация, свободный моноид слов|алфавита]] <tex>\Sigma</tex>. <br/>
}}
{{Определение
'''Язык грамматики''' — все последовательности терминалов, которые можно получить из начального символа по правилам вывода. <tex>L(\Gamma) = \{\omega|S \Rightarrow^{*}\omega, \omega \in \Sigma^{*}\}</tex>.
}}
= Обозначения =
* Нетерминалы обозначаются заглавными буквами латинского алфавита.
* Терминалы обозначаются строчными буквами из начала латинского алфавита.
* Последовательности из терминалов (слова) обозначают строчными буквами из конца латинского алфавита.<br/>
* Последовательности из терминалов и нетерминалов обозначаются строчными буквами греческого алфавита.
=Примеры грамматик=
