URM

Definition

URM ist eine unbegrenzte Registermaschine, ein theoretisches Berechnungsmodell mit unbeschränkt vielen Registern zur Untersuchung der Berechenbarkeit.