>>424
w_{g+1}がX全体で正則でないのは
なぜなのでしょうか?

この本、これまででここだけ妙に難易度が上がっている気がするのですが。