idealisiertes Modell einer Klasse von Rechnerprozessoren, meist durch einen formal definierten Befehlssatz spezifiziert.

Abstrakte Prozessoren werden verwendet, um möglichst viele Arbeitsschritte bei der Übersetzung von Programmiersprachen (z. B. Teile der Codeoptimierung und Speicherplatzzuordnung) maschinenunabhängig durchführen zu können. Für manche Programmiersprachen (z. B. MODULA-2, Java) wurden abstrakte Prozessoren zur Definition der Bedeutung der Sprachbestandteile (durch Zuordnung von Befehlsfolgen des abstrakten Prozessors) verwendet. Um eine Programmiersprache an neue Rechnerarchitekturen anzupassen, reicht es aus, ein Programm zu entwickeln, das Befehle des abstrakten Prozessors auf der neuen Maschine umsetzt oder nachahmt.