連投すみません
T[m](n)を記述するメタ言語を作成しようとしてみました
強さ 結合 種類 表記 意味
N 無 構文 A;BまたはA改行B A式とB式
N 左 説明 A::B Aの例
N 左 説明 ::A コメント
1 右 定義 B→C BはCになる/BとCは同じ意味である
2 左 定義 A=B AはBと置換される :: [11] → [+]
3 無 演算 @A Aを計算する :: @[5-2] → [3]
3 無 演算 #A Aを評価する :: #[[2]*3] → [222]
4 右 演算 A+B AとBを結合する :: [2][3] → [23]
5 右 演算 A*B AをB回繰り返す :: [3]*6 → [333333]
6 無 演算 `A Aの一番外側の括弧を外す
以下例
定義部
[1]*n=@n
[Amn]=(@m)+n
[G1n]=@[3↑]*@[n-1]+[3]
[Gmn]=([G((]+@[m-1]+[)])*m+[(n)]+[)]*m
::G23 → G(1)(G(1)(3)) → G(1)(@[3↑]*[2]+[3]) → G(1)(@[3↑3↑3]) → @[3↑]*@[(3↑3↑3)-1]+[3] → @[3→3→(3→3→3)]
実行
G(A(111111)1111))1111
以上例
・・・アレ？定義部自体があれなんだが・・・定義部T[13](80),実行部T[5](21),しめてT[13](101)