だから状態遷移図が描けるパターンは正規表現で必ず表現できるけど
否定の場合描けない可能性もあるわけで