程序的最后状态和发散状态定义: 程序从初始状态启动。当执行了程序 的一个原子操作后,程序就从当前状态转 为下一状态。程序不断执行原子操作并不 断更新其状态,直至终止。此时程序处在 最后状态。 当一个程序进入一个被确认不会终结的状 态时,则说该程序进入了发散状态。 哈尔滨工业大学计算机科学与技术学院哈尔滨工业大学计算机科学与技术学院 ◼ 程序的最后状态和发散状态定义： ◼ 程序从初始状态启动。 当执行了程序 的一个原子操作后，程序就从当前状态转 为下一状态。程序不断执行原子操作并不 断更新其状态，直至终止。此时程序处在 最后状态。 ◼ 当一个程序进入一个被确认不会终结的状 态时，则说该程序进入了发散状态