OFFSET
1,3
COMMENTS
Also computed by machines 897 and 919.
The function is total (i.e., the computation terminates for all inputs n).
LINKS
Sean A. Irvine, Table of n, a(n) for n = 1..1000
Stephen Wolfram, P vs. NP and the Difficulty of Computation: A Ruliological Approach, 2026.
MATHEMATICA
With[{lim = 120}, PacletSymbol["WolframInstitute/TuringMachine", "OneSidedTuringMachineFunction"][{773, 2, 2}, {1, lim}, lim] ] (* Michael De Vlieger, Feb 06 2026, after 3rd example in "The Basic Setup" in "P vs. NP ..." *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Sean A. Irvine, Feb 06 2026
STATUS
approved
