NFA example