Talk:Cryptids
1LG1RH_0LD1RC_0LD0LG_0RE1LD_0RF1RA_1RB1RF_1LC1LG_---0RF (bbch)
1RG1RH_0LD1RC_0LD0LG_0RE1LD_0RF1RA_1RB1RF_1LC1LG_---0RF (bbch)
1LC1LA_0LD1RC_0LD0LA_0RE1LD_0RG1RF_---1RH_1RB1RG_0RA0RG (bbch)
8 states Ackermann level probviously halting cryptids. --Jacobzheng (talk) 05:46, 16 November 2024 (UTC)
Three-Way Deal (14 states, 8 symbols)
Let count the deals of distinct cards into three labelled hands of size . The conjecture is that exactly 59 positive integers satisfy . These are the positive integers whose base-5 digits are at most 1 and whose base-7 digits are at most 2.
The machine halts from a blank tape on finding a 60th such integer. An exhaustive search below found 59. Is this conjecture or an equivalent machine already known? Transition table, proof of the halting criterion, and verification scripts. Shivamshaiv (talk) 08:41, 26 October 2026 (UTC)