گرامر مستقل از متن

گرامر مستقل از متن (context-free grammar)
گرامر مبتنی بر فرمول، که همه قوانین ساخت آن به صورت V→ w است که در آن V یک علامت غیرپایانه ای و w رشته ای شامل پایانه ها و یا غیرپایانه هاست. اصطلاح مستقل از متن نشان دهنده این واقعیت است که بدون توجه به این که رشته یا متن در کجا قرار گرفته، غیرپایانه V می تواند همیشه با w جابه جا شود. یک زبان مبتنی بر فرمول، زمانی مستقل از متن است که یک گرامر مستقل از رابطه وجود داشته باشد که آن را تولید کند. گرامرهای مستقل از متن به اندازه کافی برای توضیح نحو بیشتر زبان های برنامه نویسی قدرتمند هستند. در واقع، نحو بیشتر زبان های برنامه نویسی براساس گرامرهای مستقل از متن پایه ریزی شده است.