文脈依存文法
空の文字列を生成しない文脈依存文法は、弱等価な黒田標準形に変換可能である。