【終止分析】
英語翻譯：terminationanalysis
【辭書名稱】資訊與通信術語辭典
用以決定一給定陳式是否能確定終止的程式分析技術。
例如常數、非遞迴函數以及其引數可界定為特定值的遞迴函數。