单项选择题

A.有穷性
B.可读性
C.正确性
D.无二义性