有限オートマトンの等価性判定アルゴリズム
等価性判定木を使う
Q. 計算量？
BFS(幅優先探索)
DFS(深さ優先探索)だとうまく働かないだろうか？もしそうなら理由はなんだろうか？
有限オートマトンの状態対の等価性判定にも同じ方法が使える
https://gyazo.com/b2e9277c838bf0f8d53105e238c9edf8