タグシステム
次の 2-タグシステム(停止記号を使わず、2未満の長さの単語について停止)は、C(n) = (n が偶数なら n/2 さもなくば (3n+1)/2)という形式のコラッツ関数からコラッツ数列を計算する(参考文献の De Mol 参照)。
このタグシステムでは、正の整数 n を n 個の a を繰り返した単語(aa...a)で表す。