チョムスキー標準形
Chomsky normal form
文脈自由文法
バッカス・ナウア記法
グライバッハ標準形
https://ja.wikipedia.org/wiki/チョムスキー標準形