单项选择题

A.机器人
B.航天飞机
C.模式识别
D.定理证明