Pilih kandidat algoritma untuk diuji
Istilah: finiteness = berhenti setelah langkah terbatas · definiteness = tiap langkah jelas tanpa ambiguitas · input/output = data masukan dan keluaran yang terdefinisi · effectiveness = tiap langkah benar-benar dapat dikerjakan.