レスがないな〜・・・
過去ログ探ってみたんだがこれでいいの？

＞S:[3,x+1]→[B(3,3),B(x,x)]　(S変換１回目)
＞S:[B(3,3),B(x,x)]→[h(B(3,3)),h(x)]　(S変換２回目)