8.4.2 终止型序贯程序法