DSG can generate the language count-k for some arbitrary k that is, fa 1 n a 2 n : : : a k n g, which makes it extremely powerful, whereas R-MCTAG can only generate count-4.
the meta-level grammar G 0 is de ned so that it derives trees that look like derivation trees of G:  An auxiliary tree may adjoin anywhere.