Basic NFA construction