sentence1: tag is a tree-rewriting system : the derivation process consists in applying operations to trees in order to obtain a ( derived ) tree whose sequence of leaves is a sentence .
sentence2: although tag is a class of tree rewriting systems , a derivation relation can be defined on strings in the following way .