運算模型(model of computation)係運算理論上嘅一個概念。一個運算模型會描述一部機械內含乜嘢函數,會點樣由輸入嗰度計個輸出出嚟。電腦科學家會用運算模型進行「唔同運算機械做起運算上嚟有乜分別」嘅研究。