Algoritme

(iii) sebuah agen, dan
(iv) sebuah daftar instruksi yang "efektif" relatif terhadap kemampuan dari agen.
Minsky menjelaskan variasi yang lebih sesuai dari model "abacus"-nya Lambek dalam "Basis Komputabilitas Paling Sederhana".