富田横森演習2-9
https://gyazo.com/76885f1b088dd4467e85df3ba457c40e
部分集合構成法
有限オートマトンの最簡形
有限オートマトンの状態対の等価性判定