やったこと

lernen

オートマトン学習ライブラリを実装している。
Kyoto.なんかでの発表のため。
Mealy機械とかをちゃんとサポートしたのを実装するのは初めて。

https://github.com/makenowjust/lernen

全体的な設計はAALpyを参考にした。

色んなequivalence queryの実装とかやっていきたい。