تعمیم دستور زبان مستقل‌ازمتن

GCFC شامل دو مؤلفه است: مجموعه‌ای از توابع ترکیب که تاپل‌های رشته‌ای را باهم ترکیب می‌کنند و مجموعه‌ای از قوانین بازنویسی. توابع ترکیب همگی به فرم ${\displaystyle f(⟨x_1,...,x_m⟩,⟨y_1,...,y_n⟩,...)=\gamma }$

ترجمه ساده گرامر مستقل از متن به GCFC را می‌توان به صورت زیر انجام داد. با داشتن گرامر در (۱) که زبان دو طرفه ${\displaystyle \{w{w}^R:w\in \{a,b{\}}^{\ast }\}}$

1. ${\displaystyle S\to ϵ|aSa|bSb}$
   1. 1. ${\displaystyle conc(⟨x⟩,⟨y⟩,⟨z⟩)=⟨xyz⟩}$
   2. ${\displaystyle S\to conc(⟨ϵ⟩,⟨ϵ⟩,⟨ϵ⟩)|conc(⟨a⟩,S,⟨a⟩)|conc(⟨b⟩,S,⟨b⟩)}$

حاصلضرب CF از abbbba به صورت زیر است:

S

aSa

abSba

abbSbba

abbbba

و حاصلضرب GCFC متناظر به صورت زیر است:

${\displaystyle S\to conc(⟨a⟩,S,⟨a⟩)}$

${\displaystyle conc(⟨a⟩,conc(⟨b⟩,S,⟨b⟩),⟨a⟩)}$

${\displaystyle conc(⟨a⟩,conc(⟨b⟩,conc(⟨b⟩,S,⟨b⟩),⟨b⟩),⟨a⟩)}$

${\displaystyle conc(⟨a⟩,conc(⟨b⟩,conc(⟨b⟩,conc(⟨ϵ⟩,⟨ϵ⟩,⟨ϵ⟩),⟨b⟩),⟨b⟩),⟨a⟩)}$

${\displaystyle conc(⟨a⟩,conc(⟨b⟩,conc(⟨b⟩,⟨ϵ⟩,⟨b⟩),⟨b⟩),⟨a⟩)}$

${\displaystyle conc(⟨a⟩,conc(⟨b⟩,⟨bb⟩,⟨b⟩),⟨a⟩)}$

${\displaystyle conc(⟨a⟩,⟨bbbb⟩,⟨a⟩)}$

${\displaystyle ⟨abbbba⟩}$

wier دو خصوصیت توابع ترکیب را بیان کرد: خطی بودن و منظم بودن. تابعی که به صورت ${\displaystyle f(x_1,...,x_n)=...}$

LCFRS به صورت ضعیف معادل با TAGهای چند ترکیبی (MCTAGها) و همچنین با گرامر مستقل از متن چندگانه (MCFGها (۱)) و گرامرهای مینیمالیست

(MGها) است. زبان‌های ایجاد شده با LCFRS (و معادل‌های ضعیف آنها) را می‌توان به چند جمله‌ای زمانی تجزیه کرد.