A081419 Largest value held in any register at the end of a halting computation by an n-instruction register Minski machine.

0, 1, 2, 3, 4, 6, 9, 34, 520

Offset

1,3

Comments

We start with initially empty registers and include exactly one Halt instruction. Analogous to the Busy Beaver function, Sigma, for Turing Machines.

n<=5 are proved. 5<n<=9 are good lower bounds.

References

Tibor Rado, On Noncomputable Functions, Bell System Technical Journal, vol. 41, # 3, 877-884, May 1963.

Links

Table of n, a(n) for n=1..9.

Formula

Noncomputable.

Example

E.g. B(3) is of the form:
1: A+ -> 2
2: A+ -> 3
3: Halt
Halting with B(3)=2

Crossrefs

Cf. A028444.

Sequence in context: A215285 A275173 A295394 * A108858 A294688 A094859

Adjacent sequences: A081416 A081417 A081418 * A081420 A081421 A081422

Keyword

hard,nice,nonn

Author

Rick J. Griffiths (rjg42(AT)cam.ac.uk), Apr 20 2003

Status

approved