文脈依存文法で記述できる言語としてformula_2というものもあるが、これの生成規則は上記のものより更に複雑になる。