富田横森演習2-3
https://gyazo.com/36b2f43af4830e15da26653a1ba5369b
到達可能性(有限オートマトン)
死状態
非決定性有限オートマトン(NFA)