ab+という正規表現にマッチするオートマトン