ε-NFA
非決定性有限オートマトン
に…
#計算論