ただしこのとき、sが生成規則の右側に出現してはならない。