23
правки
Изменения
Новая страница: «Грамматика <tex>\Gamma</tex> - неукорачивающая, если все правила имеют вид <tex>\alpha \to \beta</tex>, где <tex>|\…»
Грамматика <tex>\Gamma</tex> - неукорачивающая, если все правила имеют вид <tex>\alpha \to \beta</tex>, где <tex>|\alpha| \le |\beta|</tex>(возможно правило <tex>S -> \epsilon</tex>, но тогда S встречается в правых частях правил).
Грамматика <tex>\Gamma</tex> - контекстно-зависимая, если все правила имеют вид <tex>\alpha A \beta \to \alpha \gamma \beta</tex>, где <tex>A</tex> - нетерминал, <tex>\alpha</tex> и <tex>\alpha</tex> строки из нетерминалов, <tex>\gamma</tex> не пуста.
Грамматика <tex>\Gamma</tex> - контекстно-зависимая, если все правила имеют вид <tex>\alpha A \beta \to \alpha \gamma \beta</tex>, где <tex>A</tex> - нетерминал, <tex>\alpha</tex> и <tex>\alpha</tex> строки из нетерминалов, <tex>\gamma</tex> не пуста.
