Изменения
→Асимптотика
<tex>A_1 \to 0 | 1</tex>
<tex>A_{i+1} \to {A_i}0| {A_i}1</tex> для <tex>1 \leq i < n</tex>
Упорядочим множество нетерминалов по возрастанию индексов. Легко заметить, что правила для <tex>A_i</tex> будут представлять из себя все двоичные вектора длины <tex>i</tex>, а значит размер грамматики будет экспоненциальным. Если упорядочить нетерминалы по убыванию в грамматике изменений не будет.
