Связанные определения/теоремы/следствия/утверждения: Контекстно-свободная грамматика Дерево вывода слова
