**تعمیم دستور زبان مستقل از متن** (GCFC) گرامری است که با اضافه کردن توابع ترکیب که به صورت بالقوه غیر مستقل هستند، گرامر مستقل از متن را تعمیم می‌دهد. گرامر هد (و معادل‌های ضعیف آن) نمونه‌های از این نوع GCFC هستند که به صورت خاص برای پرداختن به انواع مختلفی از خصوصیات غیر CF زبان طبیعی به کار می‌رود.

توصیف
-----

GCFC شامل دو مؤلفه است: مجموعه‌ای از توابع ترکیب که تاپل‌های رشته‌ای را باهم ترکیب می‌کنند و مجموعه‌ای از قوانین بازنویسی. توابع ترکیب همگی به فرم {\displaystyle f(\langle x\_{1},...x\_{m}\rangle ,\langle y\_{1},...y\_{n}\rangle ,...)=\gamma } هستند که در آن \gamma  تاپل رشته‌ای تکی یا استفاده خاصی از تابع ترکیب (به صورت بالقوه متفاوتی) است که به تاپل رشته کاهش می‌یابد. قوانین بازنویسی به صورت {\displaystyle X\to f(Y,Z,...)} هستند که در آن Y، Z و ... تاپل‌های رشته‌ای یا نمادهای غیر پایانی هستند. سمانتیک بازنویسی GCFCها نسبتاً ساده است. وقوع نماد غیرپایانی با استفاده از قوانین بازنویسی مثل گرامر مستقل از متن بازنویسی می‌شود و در نهایت تنها ترکیبات را می‌دهد (توابع ترکیب اعمال شده به تاپل‌های رشته یا ترکیبات دیگر). سپس توابع ترکیب اعمال شده، بعد از آن کاهش می‌یابند و تاپل‌ها هم به یک تاپل کاهش می‌یابند.

مثال
----

ترجمه ساده گرامر مستقل از متن به GCFC را می‌توان به صورت زیر انجام داد. با داشتن گرامر در (۱) که زبان دو طرفه {\displaystyle \{ww^{R}:w\in \{a,b\}^{\*}\}} را ایجاد می‌کند که در آن {\displaystyle w^{R}} رشته معکوس w است، می‌توان تابع ترکیب conc را به صورت (۲- الف) تعریف و قوانین را به صورت (۲-ب) بازنویسی کرد.

1. {\displaystyle S\to \epsilon ~|~aSa~|~bSb}
	1. 1. {\displaystyle conc(\langle x\rangle ,\langle y\rangle ,\langle z\rangle )=\langle xyz\rangle }
	2. {\displaystyle S\to conc(\langle \epsilon \rangle ,\langle \epsilon \rangle ,\langle \epsilon \rangle )~|~conc(\langle a\rangle ,S,\langle a\rangle )~|~conc(\langle b\rangle ,S,\langle b\rangle )}

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

S

aSa

abSba

abbSbba

abbbba

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

{\displaystyle S\to conc(\langle a\rangle ,S,\langle a\rangle )}

{\displaystyle conc(\langle a\rangle ,conc(\langle b\rangle ,S,\langle b\rangle ),\langle a\rangle )}

{\displaystyle conc(\langle a\rangle ,conc(\langle b\rangle ,conc(\langle b\rangle ,S,\langle b\rangle ),\langle b\rangle ),\langle a\rangle )}

{\displaystyle conc(\langle a\rangle ,conc(\langle b\rangle ,conc(\langle b\rangle ,conc(\langle \epsilon \rangle ,\langle \epsilon \rangle ,\langle \epsilon \rangle ),\langle b\rangle ),\langle b\rangle ),\langle a\rangle )}

{\displaystyle conc(\langle a\rangle ,conc(\langle b\rangle ,conc(\langle b\rangle ,\langle \epsilon \rangle ,\langle b\rangle ),\langle b\rangle ),\langle a\rangle )}

{\displaystyle conc(\langle a\rangle ,conc(\langle b\rangle ,\langle bb\rangle ,\langle b\rangle ),\langle a\rangle )}

{\displaystyle conc(\langle a\rangle ,\langle bbbb\rangle ,\langle a\rangle )}

{\displaystyle \langle abbbba\rangle }

سیستم‌های بازنویسی مستقل از متن خطی (LCFRSها)
---------------------------------------------

wier دو خصوصیت توابع ترکیب را بیان کرد: خطی بودن و منظم بودن. تابعی که به صورت {\displaystyle f(x\_{1},...x\_{n})=...} تعریف شده خطی است اگر و تنها اگر هر متغیر حداکثر یکبار در هر سمت = ظاهر شود و {\displaystyle f(x)=g(x,y)} را خطی می‌کند اما {\displaystyle f(x)=g(x,x)} را خطی نمی‌کند. تابع تعریف شده به صورت {\displaystyle f(x\_{1},...x\_{n})=...} منظم است اگر سمت چپ و سمت راست دقیقاً متغیرهای یکسانی داشته باشند این کار {\displaystyle f(x,y)=g(y,x)} را منظم می‌کند اما {\displaystyle f(x)=g(x,y)} یا {\displaystyle f(x,y)=g(x)} را منظم نمی‌کند.
گرامری که در آن همه توابع ترکیب هم خطی و هم منظم هستند سیستم بازنویسی مستقل از متن خطی (LCFRS) نامیده می‌شود. LCFRS زیرکلاس مناسبی از GCFGهاست یعنی در کل دقیقاً توان محاسباتی کمتری نسبت به GCFGها دارد.
از سوی دیگر، LCFRSها اکیداً رساتر از گرامرهای اندیس شده خطی و معادل ضعیف آنها گرامرهای اتصال درختی (TAGها) هستند. گرامر هد مثال دیگری از LCFRS است که در کل اکیداً قدرت کمتری نسبت به کلاس LCFRSها دارد.

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

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

جستارهای وابسته
---------------

منابع
-----


| * ن
* ب
* و
نظریه اتوماتا: زبان صوری و دستور زبان‌های صوری |
| --- |
| 

|  |  |  |  |
| --- | --- | --- | --- |
| وراثت چامسکی | دستور زبان صوری | زبان صوری | دستگاه انتزاعیs |
|  |
| 
* Type-0
* —
* Type-1
* —
* —
* —
* —
* —
* Type-2
* —
* —
* Type-3
* —
* —

 | 
* Unrestricted
* (no common name)
* گرامر حساس به متن
* Positive range concatenation
* گرامر نمایه‌سازی‌شده
* —
* تعمیم گرامر مستقل از متنs
* گرامر درخت مجاورت
* گرامر مستقل از متن
* گرامرهای مستقل از متن قطعی
* Visibly pushdown
* دستور زبان منظم
* —
* قواعد بازگشتی

 | 
* زبان شمارش‌پذیر بازگشتی
* زبان بازگشتی
* زبان حساس به متن
* Positive range concatenation\*
* زبان نمایه‌سازی‌شده\*
* —
* تعمیم گرامر مستقل از متن
* گرامر درخت مجاورت
* زبان مستقل از متن
* زبان مستقل از متن قطعی
* حروف معین
* زبان منظم
* Star-free
* زبان منظم

 | 
* ماشین تورینگ
* ماشین تورینگ کامل
* آتاماتای خطی کران‌دار
* کلاس پی Turing Machine
* ماشین پشته‌ای مشبک
* اتوماتای نخی
* —
* ماشین پشته‌ای جاسازی‌شده
* اتوماتون پشته‌ای
* ماشین قطعی پشته‌ای
* حروف معین
* ماشین حالات متناهی
* Counter-free (with aperiodic finite monoid)
* ماشین غیر مدور قطعی متناهی

 |

 |
|  هر دسته‌ای از زبان‌ها، به جز آنهایی که با علامت ستاره علامتگذاری شده‌اند، زیرمجموعه مناسبی از دسته‌ای است که مستقیماً در بالای آن قرار دارد. هر زبانی، در هر دسته، به وسیله یک دستور زبان و یک اتومیشن در آن دسته و در سطر مشابه تولید می‌شود. |