For an efficient representation and efficient modification algorithms (such a k-best extraction) we would like L to be regular.
maletti (2010a) shows that we can construct an XTOP R m such that for every t ∈ T Σ and u ∈ T ∆ .