NFA → 正規表現
状態を追加
から
範囲で指定
遷移を追加
→
by