Надстройки порождающих грамматик и свойство полулинейности

Указывается свойство, необходимое для того, чтобы язык порождался какой-нибудь грамматикой с бесконтекстной надстройкой. В терминах надстроек охарактеризованы грамматики, порождающие полулинейные языки.