TOPICS
Search

Register Machine


RegisterMachine

A register machine is an idealized computing machine consisting of a fixed set of data registers and a set of instructions for operating on them. Register machines are also known as counter machines and program machines. Early investigators included Shepherdson and Sturgis (1963) and Minsky (1961). Somewhat similar constructs were also part of Kurt Gödel's 1931 work on representing logic within arithmetic (Wolfram 2002, p. 896).

Wolfram (2002) considers machines with two registers and two operations: "increments" and "decrement-jumps." The above illustration shows 30 steps of a five-instruction program that generate nonrepetitive output (Wolfram 2002, p. 99).

Calude et al. (2002, p. 366) define a register machine U with a canonical compressed encoding in 7-bit characters. Counting halting programs of total length 7n bits, including both program and data and excluding run-time errors, gives the initial counts 1, 1, 3, 8, 50, 311, 1012, 4382, 19164, 99785, 515279, 2559837, ... starting at n=1 (OEIS A400878; Calude et al. 2002, p. 367). These counts depend on the particular machine and encoding. Weighting each count by 128^(-n) and summing over n>=1 gives the associated halting probability, a Chaitin's constant.


See also

Chaitin's Constant, Halting Probability, Halting Problem, Random Access Machine, Turing Machine

Explore with Wolfram|Alpha

References

Calude, C. S.; Dinneen, M. J.; and Shu, C.-K. "Computing a Glimpse of Randomness." Exper. Math. 11, 361-370, 2002. https://doi.org/10.1080/10586458.2002.10504481.Minsky, M. L. "Recursive Unsolvability of Post's Problem of 'Tag' and Other Topics in Theory of Turing Machines." Ann. Math. 74, 437-455, 1961.Shepherdson, J. C. and Sturgis, H. E. "Computability of Recursive Functions." J. Assoc. Comput. Mach. 10, 217-255, 1963.Sloane, N. J. A. Sequence A400878 in "The On-Line Encyclopedia of Integer Sequences."Wolfram, S. A New Kind of Science. Champaign, IL: Wolfram Media, pp. 97-102 and 896, 2002.

Referenced on Wolfram|Alpha

Register Machine

Cite this as:

Weisstein, Eric W. "Register Machine." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/RegisterMachine.html

Subject classifications