A.具有0個(gè)或多個(gè)輸入量 B.至少產(chǎn)生一個(gè)輸出量(包括參量狀態(tài)) C.在執(zhí)行了有窮步的運(yùn)算后終止(有窮性) D.每一步運(yùn)算有確切的定義(確定性)