Приведенная грамматика

Контекстно-свободная грамматика, все нетерминалы которой являются достижимыми и производящими