Изменения

'''Нетерминал''' — элемент, представляющий некоторую сущность языка (например , часть формулы) и не имеющий конкретного значения.<br/>

'''Язык грамматики''' — все последовательности терминалов, которые можно получить из начального символа по правилам вывода. <tex>L(\Gamma) = \{\omega|S \Rightarrow^{*}\omega, \omega \in \Sigma^{*}\}</tex>.