>>366
４入力１出力のセルを用意し、その状態遷移関数fを以下のように定義する
f(E,I,X,E)=f(X,E,I,F)=0
f(E,J,X,E)=f(X,E,J,F)=1
f(E,K,X,E)=f(X,E,K,F)=2
f(F,I,X,E)=f(X,F,I,F)=3
f(F,J,X,E)=f(X,F,J,F)=4
f(F,K,X,E)=f(X,F,K,F)=5
但し上の表現で
Eは0,2,4のいずれか、Fは1,3,5のいずれか、
Iは0,1のいずれか、Jは2,3のいずれか、Kは4,5のいずれか、
Xは0,1,2,3,4,5のいずれかを指す

現在の状態{S_k}(k≧0,S_kは0,1,2,3,4,5のいずれか)に対して次の状態{S'_k}を
S'_k=f(S_(k+1),S_k,S_(k-1),S_0) k＞0のとき
S'_0=f(S_1,S_0,0,S_0)
で定義する

どんな正整数mについても k＞m ⇒ S_k=0 となる初期状態{S_k}(k≧0) からは必ず k≧m ⇒ S_k=0 となる状態に遷移するのか、
あるいはその否定で
ある正整数mが存在して k＞m ⇒ S_k=0 となる初期状態{S_k}(k≧0) のうち k≧m ⇒ S_k=0 となる状態に決して遷移しないものが存在するのか

という問題を考えたらコラッツ予想と同じ問題を扱っていることにならないか