たまには正規言語の研究の話を．今年パリで証明した定理について紹介します． どのような定理かざっくりカジュアルに言うと 正規言語が「ほとんど全ての文字列を含む」または「ほとんど全ての文字列を含まない」⇔ を受理する代数構造が零元を持つ ⇔ を受理す…