单项选择题 程序运行时，指令按自顶而下执行的流程控制结构是（）。

单项选择题 算法的有穷性是指（）。

单项选择题 图灵奖的获得者沃斯提出了著名的揭示面向过程的程序设计的本质公式是（）。