Catch-Em-Turing

The Catch-Em-Turing (CET) function is a variant of the Busy Beaver function proposed by NathFR76 in the beginning of November 2026 in forum-general on bbwiki discord.

It is a different angle of Busy beaver because in the tape you have not one like Busy beaver but two agent.

Definition

The Catch-Em-Turing system is a computational model inspired by Turing machine and the Busy Beaver problem.

For each integer n ≥ 1, a CET(n) machine consists of:

   * Exactly 2 agents.
   * Each agent has exactly n states.
   * Each agent has its own transition table.
   * Both agents execute their transitions simultaneously.

For Configuration:

   * The tape is infinite in both directions.
   * Initially, every cell contains the symbol 0.
   * The agents are numbered Agent 1 and Agent 2.
   * Agent 1 starts at position 0. 
   * Agent 2 starts at position 2.
   * Both agents begin in their respective initial states.

At each step, each agent:

   * Reads the symbol in the cell it currently occupies.
   * Writes a symbol on that cell.
   * Moves one cell to the left or right.
   * Changes its state according to its transition table.

The agents perform these operations simultaneously.

A CET machine halts only when both agents occupy the same tape cell at the same time. There is no individual HALT state. The collision between the two agents is the sole halting condition. If the agents never collide, the machine does not halt.

The CET function is:

   CET(n) = max number of steps before collision

CET(n) measures the maximum number of steps that two n-state agents can execute before meeting on the same tape cell.

Growth rate

it's seem to see that CET(n) ≥ BB(n) by multiple agent with 2 different transition table before halt by collision.

And it's seem to see that for n states et k symbols, CET(n,k) ≥ BBB(n,k) if the champion is a translated cycler, which BBB is a reference to Beeping Busy Beaver.

CET Champions

This is the CET(n) table. for 2 symbols

Domain	Max Steps	Champions	Discoverer
CET(1)	1	Agent 1: 1RA--- Agent 2: 1LA---	NathFR76 Brute Force Research
CET(2)	97	Agent 1: 1LB0LB_1RB0LA Agent 2: 1RB1LA_1LA1RB	NathFR76 Brute Force Research
CET(3)	≥ 3,746,207	Agent 1: 1LC1LA_1LA0LC_1RC0LB Agent 2: 0LB0RA_1RA1LB_0RA0LB	roromachine14 Exhaustive Research
CET(4)	≥ 65,579,412	Agent 1: 0LC0RA_0LD0RA_0LB0RA_0RA0RA Agent 2: 1RB1LD_1RC1RB_1LC1LA_0RC0RD	roromachine14 Exhaustive Research

For 3 symbols

Domain	Max Steps	Champions	Discoverer
CET(2,3)	≥ 20,350	Agent 1: 2LB1LA2LA_2RB2LA0LB Agent 2: 1RB0LB1RB_2LA2LA1RA	roromachine14 Exhaustive Research

Extension

A extension of CET(n) by NathFR76 for n agent is called Multi Catch-Em-Turing, or MCET(n).

Agent position in configuration is:

   * Agent 1 starts at position 0. 
   * Agent 2 starts at position 2.
   * Agent 3 starts at position 4.
   * Agent 4 starts at position 6.
   * ...
   * Agent i starts at position 2(i-1).

If multiple agents attempt to write to the same cell during the same step, the agent with the lowest index has priority.

And the halt condition is when all n agents occupy the same position at the same time. So for MCET(3), all 3 agents must collide on the same cell.

MCET Champions

This is the MCET(n) table.

Domain	Max Steps	Champions	Discoverer
MCET(1)	1	Agent 1: 1RA---	NathFR76 Is like BB(1)
MCET(2)	97	Agent 1: 1LB0LB_1RB0LA Agent 2: 1RB1LA_1LA1RB	NathFR76 Like CET(2)
MCET(3)	≥ 12,733	Agent 1: 1RC0RB_1RC1LB_1LA0LC Agent 2: 0RA0RC_0LC1LA_1LB0RB Agent 3: 1LA0RC_1LB1LA_0LA1RB	NathFR76 Exhaustive Research

For 3 symbols

Domain	Max Steps	Champions	Discoverer
MCET(3,3)	≥ 34,399	Agent 1: 2RB2RC1LA_0LA2RA2RB_0LA2RA0LA Agent 2: 2LC1RC0RA_1LA0RA1LA_0LA2RB Agent 3: 2RB2LC2RC_0RC1RC2RB_1RC2RA2RC	NathFR76 Exhaustive Research