抽象機械（abstract machine）係自動機理論上用嚟將運算機械概念化嘅做法－一部抽象機械內部有一啲函數，並且會攞一啲輸入，按輸入同內部嘅函數計個輸出出嚟，例如係以下呢部極簡單嘅抽象機械：