unlimited register machine

{{computing theory}} A particular type of theoretical computer, with infinitely many memory cells called {{term|registers}}, and formal rules to determine the machine's behavior based on the contents thereof.