概念機器

概念機器是計算機的抽象表征，可以借此分析計算機執行的操作。

程序員不僅經常借助概念機器推理計算機的運行方式，而且往往用它來分析代碼。例如，雖然并不存在能夠出存儲數值的實體，但程序員還是會將變量描述為“保存”值的實體，類似與把變量比作存放值的盒子的心智模型。

概念機器可以擴展

在學習基本類型時，程序員可能把變量看作存放值的一個盒子；而在接觸到符合類型后，程序員可能把數組看作一摞盒子，每個盒子存放一個簡單值。

不同的概念機器可能催生出相互矛盾的心智模型

例如，將變量描述為盒子的概念機器不同于將變量描述為名稱標簽的概念機器，二者無法合并為一個一致的模型。

圖式

程序員可以截止概念機器將現有的圖式應用于編程，從而幫助自己理解編程概念。