Эпсилон-свободная грамматика

Контекстно-свободная грамматика называется $\epsilon$-свободной, если она

• либо не содержит аннулирующих нетерминалов
• либо ее единственный аннулирующий нетерминал - аксиома грамматики $S$ и $S$ не содержится в правых частях правил вывода этой грамматики