Изменения

Перейти к: навигация, поиск

Иерархия Хомского формальных грамматик

1 байт добавлено, 00:49, 5 ноября 2011
м
Класс 1: Ещё один пробел «(возможно правило»
{{Определение
|definition =
'''Неукорачивающие грамматики''' - это те формальные грамматики, всякое правило из <tex>P</tex> которых имеет вид <tex>\alpha\rightarrow\beta</tex>, где <tex>\alpha , \beta \in \{\Sigma\cup N\}^{+}</tex> и <tex>|\alpha|\leq|\beta|</tex>(возможно правило <tex>$S$ \to \varepsilon</tex>, но тогда <tex>$S$</tex> не встречается в правых частях правил.}}
{{Определение
editor
177
правок

Навигация