Modell eines Automaten, durch das der Begriff der Berechenbarkeit (berechenbare Funktion) definiert werden kann; es besitzt eine Reihe von Speicherplätzen (Registern), die während einer Berechnung leer sind oder Zeichenreihen eines vorgegebenen Alphabets enthalten. Die Rechnung einer Registermaschine erfolgt nach einem Registerprogramm, das aus Anweisungszeilen besteht (v. a. Verlängerungs-, Verkürzungs-,