User blog comment:B1mb0w/Growth Rate of the S Function/@comment-5529393-20160712123611

Okay, I'm starting out by trying to work out S(n,T(0),2). This leads to S(S(n,T(0),1),T(0),1). Then, the next rule depends on the "parent" of the second T(0); I guess that is supposed to be S(n,T(0),1)? But that is neither restricted or generalized, according to the definition. I considered the possibility that the parent of T(0) is the full function  S(S(n,T(0),1),T(0),1), but that is neither restricted or generalized either.

How does  S(S(n,T(0),1),T(0),1) reduce?