有限オートマトンの状態対の等価性判定

https://gyazo.com/e334bafca7f15f02b9e0d4f6a1efac34