beräkningskraft

Den andra typen är tidsoptimeringar där målet är största möjliga beräkningskraft med minsta möjliga antalet instruktioner.

Alla dessa formaliseringar visade sig med tiden besitta samma beräkningskraft – dvs, en beräkning som kan utföras enligt en modell kan också utföras med vilken som helst av de andra.

Det är en mycket spridd uppfattning att alla väldefinierade formaliseringar av begreppet algoritm har samma beräkningskraft som en Turing-maskin, vilket är formulerat i Church-Turings sats.