n=f(ai) (NFA ai)