דקדוק חופשי-הקשר

כל מה שרצית לדעת על דקדוק חופשי-הקשר:
בשפות פורמליות, דקדוק חופשי-הקשר (גם: דקדוק חסר הקשר) הוא דקדוק אשר כל כלל יצירה בו הוא מהצורה   A → α {\displaystyle \ A\to \alpha } כאשר   A {\displaystyle \ A} הוא משתנה דקדוקי ואילו   α {\displaystyle \ \alpha } היא מחרוזת כלשהי של משתנים דקדוקיים וסימנים טרמינליים.
דקדוק חסר הקשר יוצר שפה חסרת הקשר (טיפוס 2 בהיררכיה של חומסקי).
המונח "חסר הקשר" מציין כי כלל היצירה עבור   A {\displaystyle \ A} יכול להתבצע ללא חשיבות לשאלה מה נמצא מימינו ומשמאלו של   A {\displaystyle \ A} , כלומר ללא חשיבות להקשר בו הוא מופיע.
בדקדוק תלוי הקשר, לעומת זאת, ייתכנו כללי יצירה מהצורה   α A β → α γ β {\displaystyle \ \alpha A\beta \to \alpha \gamma \beta } , כאשר   A {\displaystyle \ A} הוא משתנה דקדוקי ו   α , β , γ {\displaystyle \ \alpha ,\beta ,\gamma } הן מחרוזות כלשהן של משתנים דקדוקיים וסימנים טרמינליים (ייתכן וריקות).

נלקח מויקיפדיה

הגדרות נוספות הקשורות לדקדוק חופשי-הקשר:
•שפות פורמליות