次の関数の大きさの評価をお願いします。

{}とその中のいくつかの非負整数の組のことを合わせてリストと言うこととする。
例)　　{5，3，2，7}　　など
リストの中で{}の中に数が１つもないものを空リストと言うこととする。

{Ａ}や{Ｂ}　…　0個以上のリスト
{Ｃ}…０個以上の空リスト
ａやｂやｎやｍ　…１つの非負整数
Ｗ　…０個以上のの非負整数の組
Ｙ …0個以上の0の組

①　　　ｎ{ }ｍ= ｎ×ｍ　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　
②　　　ｎ{ａ+1，Ｗ}{Ａ}ｍ　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　
　　　　= ｎ{ａ，Ｗ}{Ａ}ｎ{ａ，Ｗ}{Ａ}ｎ　…(ｎがｍ個)…　ｎ{ａ，Ｗ}{Ａ}ｎ　　　　　　　　　　
③　　　ｎ{Ｃ}{Ｙ，0，ａ+1，Ｗ}{Ａ}ｍ= ｎ{Ｃ}{Ｙ，ｍ，ａ，Ｗ}{Ａ}ｍ　　　　　　　　　　　　　
④　　　ｎ{Ｃ}{Ｗ，Ｙ}{Ａ}ｍ= ｎ{Ｃ}{Ｗ}{Ａ}ｍ　　　　　　　　　　　　　　　　　　　　　　　　
⑤　　　ｎ{Ａ}{0}{Ｂ}ｍ= ｎ{Ａ}{ }{Ｂ}ｍ
⑥ ｎ{Ｃ}{ }{ａ+1，Ｗ}{Ａ}ｍ
　　　　= ｎ{Ｃ}{0，0，0　…(0がｍ個)…　0，０，1}{ａ，Ｗ}{Ａ}ｍ
⑦　　　ｎ{Ａ}{Ｃ}ｍ= ｎ{Ａ}ｍ
⑧　　　ｎ{Ａ}ａ{Ｂ}ｍ= n{Ａ} (ａ{Ｂ}ｍ)