非決定性有限オートマトン
NFA
#計算論
#有限オートマトン
#オートマトン
常に等価な
決定性有限オートマトン
が存在する