زبان مستقل ازمتن

در نظریه زبان رسمی، یه زبان مستقل از متن زبانیست که از یک گرامر مستقل از متن ساخته شده باشد. گرامرهای مستقل از متن متفاوت می توانند زبان مستقل از متن یکسانی تولید کنند. مهم است که خصوصیات زبان از خصوصیات گرامر مشخص تمایز داده شود.
LυP
برگشت L
L.P
*L
برد (φ(L تحت همریختیφ
برد (φ−1(L تحت معکوس همریختی φ−1
شیفت چرخشی L (زبان {vu: uvєL})
مجموعه همه زبانهای مستقل از متن با مجموعه زبانهای پذیرفته شده توسط ماشین پشته ای یکسان است که باعث می شود این زبان متمایل به تجزیه شود. در واقع برای گرامر مستقل از متن داده شده یک راه مستقیم برای تولید یک ماشین پشته ای برای آن گرامر وجود دارد و برای ساخت یک گرامر از ماشین پشته ای نیز راهی وجود دارد.
زبان مستقل از متن کاربرد بسیاری در زبان های برنامه نویسی دارد؛ برای مثال: زبان پرانتزهای هم تراز که توسط گرامر S→SS|(S)|ε ساخته می شود. همچنین بیشتر عبارتهای حسابی توسط گرامر مستقل از متن تولید می شوند.
نمونه اولیه یک زبان مستقل از متن {L = {anbn: n ≥ ۱، زبان همه رشته های با طول زوج غیر تهی، که تمام نصفه اول a هستند و نصفه دوم b می باشند. L توسط گرامر S→aSb|ab ساخته می شود. این زبان منظم نیست و توسط یک ماشین پشته ای زیر پذیرفته می شود.({M = ({q0,q1,qf} , {a,b} , {a,z} , δ , q0 , z , {qfکه δ به صورت زیر تعریف می شود:

در نظریه زبان رسمی، یه زبان مستقل از متن زبانیست که از یک گرامر مستقل از متن ساخته شده باشد. گرامرهای مستقل از متن متفاوت میتوانند زبان مستقل از متن یکسانی تولید کنند. مهم است که خصوصیات زبان از خصوصیات گرامر مشخص تمایز داده شود.
مجموعه همه زبانهای مستقل از متن با مجموعه زبانهای پذیرفته شده توسط ماشین پشته ای یکسان است که باعث می شود این زبان متمایل به تجزیه شود. در واقع برای گرامر مستقل از متن داده شده یک راه مستقیم برای تولید یک ماشین پشته ای برای آن گرامر وجود دارد، اگرچه برای ساخت یک گرامر از ماشین پشته ای راه مستقیمی وجود ندارد.
زبان مستقل از متن کاربرد بسیاری در زبان های برنامه نویسی دارد؛ برای مثال : زبان پرانتزهای هم تراز که توسط گرامر S→SS|(S)|ε ساخته میشود. همچنین بیشتر عبارتهای حسابی توسط گرامر مستقل از متن تولید میشوند.