Abstrakta maŝino, ankaŭ nomata abstrakta komputilo, estas teoria modelo de komputila aparataro aŭ softvara sistemo uzita en aŭtomata teorio. Abstraktaĵo de komputikaj procezoj estas uzata en la komputika kaj komputila inĝenierado kaj kutime supozas diskretan tempon paradigma. [Aŭtomata teorio][Komputila inĝenierado]