פרק 4 שפות תלויות הקשר
הגדרה
הדקדוק 
קרוי
דקדוק תלוי הקשר אם כל ההפקות ב-
הן מהצורה :
הגדרה
השפה L קרויה שפה תלוית הקשר אם קיים דקדוק תלוי הקשר
כך ש- 
.
דוגמא:
אפשר להוכיח בקלות על ידי משפט בר-הילל ששפה זאת היא לא חסרת
הקשר.
דקדוק זה תלוי הקשר כיוון שבצד שמאל אין יותר משתנים מאשר בצד ימין.