13/03/21 19:16:07.15
Ak[□] (n) = n+1
Ak[Ｘ, a+1] (n) = Ak[Ｘ, a]^(n+1) (1)
Ak[Ｘ, b+1, □, 0] (n) = Ak[Ｘ, b, □, 1] (n)
こうじゃね？
13/03/21 19:16:07.15
Ak[□] (n) = n+1
Ak[Ｘ, a+1] (n) = Ak[Ｘ, a]^(n+1) (1)
Ak[Ｘ, b+1, □, 0] (n) = Ak[Ｘ, b, □, 1] (n)
こうじゃね？
13/03/21 19:16:07.15
Ak[□] (n) = n+1
Ak[Ｘ, a+1] (n) = Ak[Ｘ, a]^(n+1) (1)
Ak[Ｘ, b+1, □, 0] (n) = Ak[Ｘ, b, □, 1] (n)
こうじゃね？