虛擬碼

輸入: 可有多個輸入資料，或是沒有輸入資料。

輸出: 必須至少有一個輸出結果。

明確性: 每個指令必須明確，不可模稜兩可。

有限性: 執行演算法，必須在有限步驟內結束。

有效性: 又稱可行性，演算法中的每個命令都必須是可執行的步驟，用紙筆也能推演完畢，以確定能解決問題。