やったこと

研究

minimizeの実装をしている。
そのためにnominal DFAを書き出したり読み込んだりする必要があるっぽい。
とりあえずequality symmetry版の形式も考えて、Nλの実装とかにも反映させた。
既存実装を大きく弄った気がする。

実験を走らせはじめたがいつ終わるだろうか‥‥。