「正規表現入門　星の高さを求めて」 http://www.slideshare.net/sinya8282/ss-32629428 これは良い資料。 (ab)*が星自由言語(Star-free language)であることを示す問題しばらく考えてしまった。