In this work we will adopt the following normal form for LTGs.
definition 4 An LTG in normal form is an LTG where the rules are constrained to have one of the forms: : only rules where at least one terminal symbol is produced together with a nonterminal symbol, and rules where the empty bistring is produced, are allowed.