Das ist so nicht korrekt. Man "braucht" zwar in kontextsensitiven Grammatiken keine Umbenennungen, aber erlaubt sind sie schon. Eine Produktion $A \rightarrow B$ ist doch kontextsensitiv, indem man sich einen $(\lambda, \lambda)$-Kontext um die Variable $A$ vorstellt, der nicht verändert wird.