Register machine
Jump to navigation
Jump to search
Register machines, also known as Minsky machines, are a Turing-complete model of computation.
Register machines contain a set of instructions and at least 2 registers.
Each instruction in a program has a number, starting with 1.
There are 2 types of instructions:
- inc(c, n) add 1 to the register c then jumps to instruction n.
- dec(c, n, m) jumps to instruction m if register c equal 0 else subtract 1 to the register c then jump to instruction n.
The program halt if it reaches an undefined instruction. Here we represent it with the letter H.
Register Busy Beaver
The Register Busy Beaver function, currently denoted CBB(n), returns the maximum number of instructions executed by a register machine with 2 counters.
| Domain | Lower Bound | Champion |
|---|---|---|
| RBB(1) | 1 | A- > H, 1
|
| RBB(2) | 3 | A- > H, 2 / A+ > 1
|
| RBB(3) | 5 | A+ > 2 / B- > H, 3 / B+ > 1
|
| RBB(4) | 8 | B+ > 2 / B+ > 3 / A+ > 4 / B- > 3, H
|
| RBB(5) | 11 | B+ > 2 / B+ > 3 / A+ > 4 / A+ > 5 / B- > 3, H
|
| RBB(6) | 15 | B+ > 2 / B+ > 3 / B+ > 4 / A+ > 5 / A+ > 6 / B- > 4, H
|