> 教育经验 > 什么是终止性证明介绍

什么是终止性证明介绍

什么是终止性证明介绍

终止性证明(termination proof)是2018年公布的计算机科学技术名词。

终止性证明定义

证明对所有符合要求的输入程序都将终止。

终止性证明出处

《计算机科学技术名词 》第三版。