Теория вычислимости и теория сложности вычислений трактует модель вычисления (англ. model of computation) не только как определение множества допустимых операций, использованных для вычисления, но также и относительных издержек их применения. Охарактеризовать необходимые вычислительные ресурсы -- время выполнения, объём памяти, а также ограничения алгоритмов или компьютера -- можно только в том случае, если выбрана определённая модель вычислений.