updated NFA to RE