 |
שפה חסרת הקשר
| Wikipedia ויקיפדיה העברית - האנציקלופדיה החופשית | Download this dictionary |
שפה חופשית הקשר
במדעי המחשב, שפה חופשית הקשר (או שפה חסרת הקשר) הינה שפה פורמלית אשר קיים דקדוק חסר הקשר המגדיר אותה; כלומר, שפה 
היא שפה חופשית הקשר אם קיים דקדוק חסר הקשר 
כך ש- היא אוסף כל המילים שניתן לגזור מהסימן התחילי של . ניתן להוכיח, ששפה היא חופשית הקשר אם ורק אם קיים אוטומט מחסנית לא דטרמניסטי המקבל אותה.
משפחת השפות חופשיות ההקשר סגורה תחת פעולות של איחוד ושרשור שפות, אך לא תחת חיתוך והפרש (להבדיל מהשפות הרגולריות).
| להמשך המאמר ראה Wikipedia.org... |
© מאמר זה משתמש בתוכן מ-ויקיפדיה® וכפוף לרשיון לשימוש חופשי במסמכים של גנו GNU Free Documentation License וכפוף לרישיון Creative Commons ייחוס-שיתוף זהה
