almost finished NFA