בנייה ופישוט דקדוקים
הפקולטה למדעי המחשב
(236353אוטומטים ושפות פורמליות )
9תרגיל מספר
2
1בניית דקדוקים – דוגמא :בנו דקדוק לשפהL = {(ab)nc3n|n 0 }
פתרון::הדקדוק
G = <{S}, {a,b,c}, P, S>
S abSccc |
3
2בניית דקדוקים – דוגמא :בנו דקדוק לשפהL = {anbamban+m|n,m 0 }
פתרון::הדקדוק
G = <{A,B}, {a,b}, P, A>
A aAa | bB
B aBa | b
4
שלבי הפישוט
זריקת משתנים מיותרים1.
ביטול חוקי- 2.
זריקת משתנים מיותרים3.
ביטול חוקי יחידה4.
זריקת משתנים מיותרים5.
זריקת משתנים 1.ניתנים לגזירה שאינם
טרמינלית
זריקה משתנים 2.שאינם ניתנים
להשגה ממשתנה התחלתי
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
פשטו את הדקדוק הבא:
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:זריקת משתנים שאינם ניתנים לגזירה טרמינלית
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
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
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:זריקת משתנים שאינם ניתנים לגזירה טרמינלית
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:
אין כאלה
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
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:זריקת משתנים שאינם ניתנים לגזירה טרמינלית
אין כאלה
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:
!וקיבלנו את הדקדוק המפושט