やったこと

Brzozowski のアルゴリズム

数日悩み続けて一応理解できたと思う。
完全に理解したとは言い難いが。

概念が多くて証明が謎に複雑な気がする。
わりと積年の仕事って感じもするし、間の文脈が抜けてるんだろうな、とは思うのだけど。
(Brzozowski は descriptive complexity とかその辺を最後はやってたっぽい)

これに関してはそのうちちゃんとまとめたい。