דקדוק תלוי-הקשר
ויקיפדיה האנציקלופדיה encyclopedia
בשפות פורמליות, דקדוק תלוי-הקשר[1] הוא דקדוק אשר כל כלל יצירה בו הוא מהצורה כאשר Α ו B הן מחרוזות כלשהן של משתנים דקדוקיים וסימנים טרמינליים כך ש. דקדוק תלוי הקשר יוצר שפה תלוית הקשר (טיפוס 3 בהיררכיה של חומסקי).
ערך מחפש מקורות | |
המונח "תלוי הקשר" מציין כי כלל היצירה עבור A מתבצע עם חשיבות לשאלה מה נמצא מימינו ומשמאלו של A כלומר עם חשיבות להקשר בו הוא מופיע.