巨大数研究 Wiki
Advertisement

拡張タマトリエ関数②は、\(TM;a,b,...n\)の要素に含まれる文字の数を\(m\)として表した関数である。(\(m\)は自然数)

  1. 自然数\(m\)が0になったら、\([m]\)を取る。
  2. \(TM;a[m]=TM;\underbrace{a,a,...a}_{m個のa}[m-1] \)
  3. \(TM;a,b[m]=TM;\underbrace{a,b,a,b,...a,b}_{m個のa,b}[m-1] \)
  4. \(TM;a,b,...n[m]=TM;\underbrace{a,b,...n,a,b,...n,...a,b,...n}_{m個のa,b,...n}[m-1] \)
Advertisement