拡張タマトリエ関数②

拡張タマトリエ関数②は、\(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] \)