Управление выводом в формальных грамматиках

Рассматриваются формальные порождающие грамматики с различными типами управления выводом. Приводится классификация таких грамматик и соответствующих им классов языков. Специальное внимание обращается на классы, строго промежуточные между классом бесконтекстных языков и классом контекстных языков.