Hierarchically Defined Term Rewriting Systems -- Decidability and Complexity of Finitely