請輸入查詢關鍵詞：
算法和程序的區別在於：程序不一定能滿足( )。
選項A：每一個運算有確切定義
選項B：具有0個或多個輸入量
選項C：至少產生一個輸出量（包括狀態的改變）
選項D：在執行了有窮步的運算後自行終止（有窮性）
正確答案：選項D