单项选择题
A．每一步操作都是可执行的（能行性） B．至少产出一个输出量（包括参量状态的改变） C．在执行了有穷步的操作后终止（有穷性） D．每一步操作必须有确切的定义（确定性）
A．传输 B．数据 C．运算 D．控制
A．不可见性 B．脆弱性 C．磨损性 D．有限责任性