部分正确性与完全正确性
部分正确性与完全正确性
发布时间：2025-07-26 13:14:51
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 快搜搜题库 官方老师解答 )
答案：答:程序正确性严格定义通常分为三种类型,及程序的部分正确性、终止性、和完全正确正确性。完全正确等价于改程序是部分正确的同时又是终止的,因此,为了证明一个程序的完全正确性,通常采用的方法是分别证明该程序的部分正确性和终止性。
