- 博客(1)
- 收藏
- 关注
原创 Partial Correctness & Terminate & Total Correctness 的简单比较
前提:For legal input Partial Correctness: if algorithm terminates, then result output (也许有 output) Terminate: algorithms halts when run any legal input (没有 output) Total Correctness: indeed algorithm terminates, result output (一定有 output) ...
2020-10-08 11:03:41
487
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人