Download - בנייה ופישוט דקדוקים
![Page 1: בנייה ופישוט דקדוקים](https://reader034.vdocuments.mx/reader034/viewer/2022052702/568153c0550346895dc1bcb7/html5/thumbnails/1.jpg)
בנייה ופישוט דקדוקים
הפקולטה למדעי המחשב
(236353אוטומטים ושפות פורמליות )
9תרגיל מספר
![Page 2: בנייה ופישוט דקדוקים](https://reader034.vdocuments.mx/reader034/viewer/2022052702/568153c0550346895dc1bcb7/html5/thumbnails/2.jpg)
2
1בניית דקדוקים – דוגמא :בנו דקדוק לשפהL = {(ab)nc3n|n 0 }
פתרון::הדקדוק
G = <{S}, {a,b,c}, P, S>
S abSccc |
![Page 3: בנייה ופישוט דקדוקים](https://reader034.vdocuments.mx/reader034/viewer/2022052702/568153c0550346895dc1bcb7/html5/thumbnails/3.jpg)
3
2בניית דקדוקים – דוגמא :בנו דקדוק לשפהL = {anbamban+m|n,m 0 }
פתרון::הדקדוק
G = <{A,B}, {a,b}, P, A>
A aAa | bB
B aBa | b
![Page 4: בנייה ופישוט דקדוקים](https://reader034.vdocuments.mx/reader034/viewer/2022052702/568153c0550346895dc1bcb7/html5/thumbnails/4.jpg)
4
שלבי הפישוט
זריקת משתנים מיותרים1.
ביטול חוקי- 2.
זריקת משתנים מיותרים3.
ביטול חוקי יחידה4.
זריקת משתנים מיותרים5.
זריקת משתנים 1.ניתנים לגזירה שאינם
טרמינלית
זריקה משתנים 2.שאינם ניתנים
להשגה ממשתנה התחלתי
![Page 5: בנייה ופישוט דקדוקים](https://reader034.vdocuments.mx/reader034/viewer/2022052702/568153c0550346895dc1bcb7/html5/thumbnails/5.jpg)
5
דוגמא
9. E CaD
10. E FDaJ
11. F D
12. F C
13. H aBC
14. H bH
15. I aab
16. E a
1. S Aa
2. A Ab
3. A BC
4. B ε
5. B BBAa
6. B I
7. C ε
8. A EaD
פשטו את הדקדוק הבא:
![Page 6: בנייה ופישוט דקדוקים](https://reader034.vdocuments.mx/reader034/viewer/2022052702/568153c0550346895dc1bcb7/html5/thumbnails/6.jpg)
6
: זריקת משתנים מיותרים1שלב
9. E CaD
10. E FDaJ
11. F D
12. F C
13. H aBC
14. H bH
15. I aab
16. E a
1. S Aa
2. A Ab
3. A BC
4. B ε
5. B BBAa
6. B I
7. C ε
8. A EaD
.a:זריקת משתנים שאינם ניתנים לגזירה טרמינלית
![Page 7: בנייה ופישוט דקדוקים](https://reader034.vdocuments.mx/reader034/viewer/2022052702/568153c0550346895dc1bcb7/html5/thumbnails/7.jpg)
7
: זריקת משתנים מיותרים1שלב
7. C ε
8. F C
9. H aBC
10. H bH
11. I aab
12. E a
1. S Aa
2. A Ab
3. A BC
4. B ε
5. B BBAa
6. B I
.b -זריקת משתנים שאינם ניתנים להשגה מS:
Sהמשתנים הניתנים להשגה: A B C I
![Page 8: בנייה ופישוט דקדוקים](https://reader034.vdocuments.mx/reader034/viewer/2022052702/568153c0550346895dc1bcb7/html5/thumbnails/8.jpg)
8
: ביטול חוקי- 2שלב :ביטול חוקי-2.
1. S Aa
2. A Ab
3. A BC
4. B ε
5. B BBAa
6. B I
7. C ε
8. I aab
משתנים אפיסים:
B C
A
| a
| b| B | C
| BAa | Aa | a | BBa | Ba
![Page 9: בנייה ופישוט דקדוקים](https://reader034.vdocuments.mx/reader034/viewer/2022052702/568153c0550346895dc1bcb7/html5/thumbnails/9.jpg)
9
: זריקת משתנים מיותרים3שלב
1. S Aa | a
2. A Ab | b | BC | B | C
3. B BBAa | BAa | Aa | a | BBa | Ba | I
4. I aab
.a:זריקת משתנים שאינם ניתנים לגזירה טרמינלית
![Page 10: בנייה ופישוט דקדוקים](https://reader034.vdocuments.mx/reader034/viewer/2022052702/568153c0550346895dc1bcb7/html5/thumbnails/10.jpg)
10
: זריקת משתנים מיותרים3שלב
1. S Aa | a
2. A Ab | b | B
3. B BBAa | BAa | Aa | a | BBa | Ba | I
4. I aab
.b -זריקת משתנים שאינם ניתנים להשגה מS:
אין כאלה
![Page 11: בנייה ופישוט דקדוקים](https://reader034.vdocuments.mx/reader034/viewer/2022052702/568153c0550346895dc1bcb7/html5/thumbnails/11.jpg)
11
: ביטול חוקי יחידה4שלב
1. S Aa | a
2. A Ab | b | B
3. B BBAa | BAa | Aa | a | BBa | Ba | I
4. I aab
BBAa | BAa | Aa | a | BBa | Ba | I
aab
aab
![Page 12: בנייה ופישוט דקדוקים](https://reader034.vdocuments.mx/reader034/viewer/2022052702/568153c0550346895dc1bcb7/html5/thumbnails/12.jpg)
12
: זריקת משתנים מיותרים5שלב
1. S Aa | a
2. A Ab | b | BBAa | BAa | Aa | a | BBa | Ba | aab
3. B BBAa | BAa | Aa | a | BBa | Ba | aab
4. I aab
.a:זריקת משתנים שאינם ניתנים לגזירה טרמינלית
אין כאלה
![Page 13: בנייה ופישוט דקדוקים](https://reader034.vdocuments.mx/reader034/viewer/2022052702/568153c0550346895dc1bcb7/html5/thumbnails/13.jpg)
13
: זריקת משתנים מיותרים5שלב
1. S Aa | a
2. A Ab | b | BBAa | BAa | Aa | a | BBa | Ba | aab
3. B BBAa | BAa | Aa | a | BBa | Ba | aab
4. I aab
.b -זריקת משתנים שאינם ניתנים להשגה מS:
!וקיבלנו את הדקדוק המפושט