Recursive Matrix Systems (RMS) and TAG

We define Recursive Matrix Systems (RMS), a highly parameterizable formalism that allows for a clear separation of various kinds of recursion. One instance of RMS, namely context-free RMS with two rows and a specific reading interpretation turns out to be weakly equivalent to TAG. This allows for the transfer ofresults from TAGs to this dass of RMS. Furthermore, the equivalence proof is constructive and exhibits a very close relationship between the structures of the two formalism, namely trees and matrices. This allows to transfer interesting restrictions which can easily be defined in RMS to TAG. In particular, the obvious restriction of contextfree RMS to regular RMS results in a restricted form of TAG which appears sufficient for natural language processing, albeit being less complex than regular TAG.