Search results

flip 0 and 1 , 能减少 state 吗 ?

Status: Open.

#10 In lengyijun/collatz_function;

· lengyijun opened on Feb 27, 2025

code golf in proof: main.lean, 8*2

Status: Open.

#9 In lengyijun/collatz_function;

· lengyijun opened on Feb 26, 2025

rename state to make init state the first state

Status: Open.

#8 In lengyijun/collatz_function;

· lengyijun opened on Feb 24, 2025

Is it possible to prove that, all 7-state, 2-symbol tm are not qualified ?

Status: Open.

#7 In lengyijun/collatz_function;

· lengyijun opened on Feb 24, 2025

enhance cli simulater: print Nat when collatz calculate finish

Status: Open.

#6 In lengyijun/collatz_function;

· lengyijun opened on Feb 24, 2025

nth_cfg = 1 <-> halt

Status: Open.

#4 In lengyijun/collatz_function;

· lengyijun opened on Feb 24, 2025