从理论上来说，复杂的可计算问题的程序不能仅用顺序、选择、重复这3种控制成份来描述。