一个算法应该包含如下几条性质,除了()
A:二义性
B:有限性
C:正确性
D:可终止性
出自:计算机科学