The student asked her professor if he would have gone on the space ship he did know earlier.

A．if he knew

B．if he knows

C．he had known

D．had he known

在算法的5个特性中，算法必须能在执行有限个步骤之后终止指的是算法的______性。