در نظریه ، یه زبان مستقل از متن زبانیست که از یک ساخته شده باشد. گرامرهای مستقل از متن متفاوت می‌توانند زبان مستقل از متن یکسانی تولید کنند. مهم است که خصوصیات زبان از خصوصیات گرامر مشخص تمایز داده شود.
 مجموعه همه زبانهای مستقل از متن با مجموعه زبانهای پذیرفته شده توسط یکسان است که باعث می‌شود این زبان متمایل به تجزیه شود. در واقع برای گرامر مستقل از متن داده شده یک راه مستقیم برای تولید یک ماشین پشته ای برای آن گرامر وجود دارد و برای ساخت یک گرامر از ماشین پشته ای نیز راهی وجود دارد. 
 زبان مستقل از متن کاربرد بسیاری در دارد؛ برای مثال: زبان پرانتزهای هم تراز که توسط گرامر S→SS|(S)|ε ساخته می‌شود. همچنین بیشتر عبارتهای حسابی توسط گرامر مستقل از متن تولید می‌شوند.
 نمونه اولیه یک زبان مستقل از متن {L = {a b : n ≥ ۱، زبان همه رشته‌های با طول زوج غیر تهی، که تمام نصفه اول a هستند و نصفه دوم b می‌باشند. L توسط گرامر S→aSb|ab ساخته می‌شود. این نیست و توسط یک زیر پذیرفته می‌شود.
({M = ({q ,q ,q } , {a,b} , {a,z} , δ , q , z , {q 
که δ به صورت زیر تعریف می‌شود:
 (δ(q ,a,z) = (q , az
 (δ(q ,a,a) = (q , aa
 (δ(q ,b,a) = (q , ε
 (δ(q ,b,a) = (q , ε
 زبان‌های مستقل از متن غیر مبهم یک زیرمجموعه مخصوص از زبان‌های مستقل از متن هستند: زبان‌های مستقل از متن ذاتاً مبهم وجود دارد. یک مثال برای زبان مستقل از متن ذاتاً مبهم اجتماع {a b c d |n,m>0} با {a b c d | n,m >0} است. این از متن است زیرا اجتماع دو زبان مستقل از متن، مستقل از متن است. اما هیچ راهی برای تجزیه کردن غیر مبهم رشته‌ها در زیر مجموعه {a b c d | n > 0} که اشتراک این دو زبان است، وجود ندارد.
 مجموعه {a b c d | n > 0} یک زبان وابسته به متن است، اما یک گرامر مستقل از متن که این زبان را تولید کند وجود ندارد. پس زبانهای وابسته به متن وجود دارند که مستقل از متن نیستند.
 برای اثبات اینکه یک زبان مستقل از متن نیست، ممکن است از یا روش‌های دیگر مانند یا استفاده شود.
 زبان‌های مستقل از متن تحت اعمال زیر بسته‌اند. اگر L و P زبان‌های مستقل از متن باشند، زبان‌های زیر هم مستقل از متن هستند:
 
 
 
 
 
 
 زبان‌های مستقل از متن تحت اشتراک بسته نیستند. این می‌تواند در زبان {A = {a b c | n,m ≥ ۰ و {B = {a b c | n,m ≥ ۰ که هر دو مستقل از متن هستند دیده شود.
 اشتراک به صورت {A∩B = {a b c | n ≥ ۰ است که می‌تواند توسط لم تزریق برای زبان‌های مستقل از متن نشان داده شود که مستقل از متن نیست.
 زبان‌های مستقل از متن همچنین تحت مکمل هم بسته نیستند، برای هر زبان A و B:
 A∩B = (A υB ) 
 زبان‌های مستقل از متن تحت تفاوت هم بسته نیستند:
 L = Σ \ L
{"title": "زبان مستقل از متن", "link": "https://fa.wikipedia.org//w/index.php?title=%D8%B2%D8%A8%D8%A7%D9%86_%D9%85%D8%B3%D8%AA%D9%82%D9%84_%D8%A7%D8%B2_%D9%85%D8%AA%D9%86&oldid=33431446", "language": "fa"}