  In this paper, the formal derivative operator defined with respect to
context-free grammars is used to prove some properties about binomial
coefficients and multifactorial numbers. In addition, we extend the formal
derivative operator to matrix grammars and show that multifactorial numbers can
also be generated.
