非輪状決定性有限オートマトン