※本エントリは人力検索はてなの質問http://q.hatena.ne.jp/1233731707に対する回答の一部です まずいくつかの用語を定義することにします。 のような置き換え規則をε規則と呼ぶ(は非終端記号、は空系列) のような置き換え規則を読み換え規則と呼ぶ(は非終端…