Lazy Beaver: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
(Added >0 requirement)
m (Right align table.)
 
Line 5: Line 5:
== Computed Values ==
== Computed Values ==
Values found by Terry and [[User:Sligocki|Shawn Ligocki]] in 2021:
Values found by Terry and [[User:Sligocki|Shawn Ligocki]] in 2021:
{| class="wikitable"
{| class="wikitable" style="text-align: right;"
|+
|+
!
!

Latest revision as of 19:12, 14 August 2025

The Lazy Beaver function is a computable variation of the Busy Beaver function defined by Scott Aaronson in his 2020 review.

LB(n, m) is the smallest k > 0 such that no n-state, m-symbol Turing machine halts in exactly k steps.

Computed Values

Values found by Terry and Shawn Ligocki in 2021:

States
2 3 4 5 6
Symbols 2 7 22 72 427 8,407
3 23 351 189,270
4 93 242,789
5 956
6 33,851

See Also