§24.3 不确定的有限自动机（NFA）