多项选择题

A.有穷性
B.确切性
C.输入和输出
D.可行性