多项选择题

A.有穷性
B.可行性
C.正确性
D.可读性