NDFA

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