"אם דקדוק מייצר לפחות 2 עץ ניתוח או גזרות נפרדות, אז הדקדוק הוא דו-משמעי." כלל נוסף: כל CFG (ללא סמלים חסרי תועלת) עם רקורסיביות שמאלית ו-ימני רקורסיביות עבור אותו לא-טרמינל הוא גם מעורפל.
איך אתה יודע אם דקדוק הוא דו-משמעי?
נאמר כי דקדוק אינו חד משמעי אם קיים יותר מגזירה אחת משמאל ביותר או יותר מגזירה אחת מימין או יותר מעץ ניתוח אחד עבור מחרוזת הקלט הנתונה. אם הדקדוק אינו חד-משמעי, אז הוא נקרא חד-משמעי. אם לדקדוק יש אי בהירות, אז הוא לא טוב לבניית מהדר.
מהו דקדוק דו-משמעי תן דוגמה?
במדעי המחשב, דקדוק מעורפל הוא דקדוק נטול הקשר שקיים עבורו מחרוזת שיכולה להיות בעלת יותר מגזירה אחת משמאל או עץ ניתוח, בעוד שדקדוק חד משמעי הוא דקדוק נטול הקשר שעבורו לכל מחרוזת חוקית יש גזירה או עץ ניתוח ייחודית ביותר שמאלה.
איך מוכיחים שדקדוק נטול הקשר הוא דו-משמעי?
3 תשובות
- כל ה-CFG ללא סמלים חסרי תועלת ועם רקורסיה שמאלה וימינה עבור אותו סמל, אינו חד משמעי. באופן כללי: …
- כדי לבחון עמימות, עליך למצוא 2 גזרות שמאלה ביותר עבור אותה מחרוזת (או 2 גזירות הימנית ביותר, או 2 עצי גזירה).
איך פותרים דקדוק מעורפל?
שיטות להסרת עמימות-
- על ידי תיקון הדקדוק.
- על ידי הוספת כללי קיבוץ.
- על ידי שימוש בסמנטיקה ובחירת הניתוח הכי הגיוני.
- על ידי הוספת כללי קדימות או כללי ניתוח אחרים רגישים להקשר.
