abstrakte Maschinen

nicht konkret (materiell), sondern gedacht (virtuell).

gleiches Denkmodell (Befehle ändern Zustand) auf selbst gewählter Abstraktions-Ebene.

Beispiele:

• SQL-Server, HTTP-Server
• PostScript-Interpreter (im Computer, im Drucker)
• die ``C-Maschine''
• die ``Java-(Bytecode-)Maschine''