有限オートマトンの最簡形
https://gyazo.com/8bd07a21c7c51a78732fe351881aab93
reduced formともいう
到達不可能な状態を取り除き、等価な状態をまとめる
状態の等価性
有限オートマトンの状態対の等価性判定
有限オートマトンの等価性
アルゴリズムとして
k-等価性分類法(Huffman-Mealy Reduction Method)
がある
さらに速いアルゴリズム(状態数
$ N
に対して
$ O(N\log N)
)も知られているらしい