שפה תלוית הקשר היא שפה פורמלית אשר קיים דקדוק תלוי הקשר המגדיר אותה; כלומר, שפה ''L'' היא שפה תלוית הקשר אם קיים דקדוק תלוי הקשר ''G'' כך ש⁻''L'' היא אוסף כל המילים שניתן לגזור מהסימן התחילי של ''G''. ניתן להוכיח, ששפה היא תלוית הקשר אם קיימת מכונת טיורינג חסומה ליניארית המקבלת אותה. מתוך ויקיפדיה

שפה רגולרית, שפה רקורסיבית, שפה רשמית, שפה שמית, שפה שסועה, שפה תקנית, שפהאוזן, שפהאוזן (קנטון), שפוד, שפודניים