§24.4 NFA的确定化