1. פישוט דקדוקים הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( 236353) תרגיל מספר 10

2. © אריאל & רותם 2 שלבי הפישוט 1. זריקת משתנים מיותרים : a. זריקת משתנים שאינם ניתנים לגזירה טרמינלית. b. זריקה משתנים שאינם ניתנים להשגה ממשתנה התחלתי. 2. ביטול חוקי - . 3. זריקת משתנים מיותרים. 4. ביטול חוקי יחידה. 5. זריקת משתנים מיותרים.

3. © אריאל & רותם 3 דוגמא 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 פשטו את הדקדוק הבא :

4. © אריאל & רותם 4 דוגמא – המשך 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 1. זריקת משתנים מיותרים : a. זריקת משתנים שאינם ניתנים לגזירה טרמינלית :

5. © אריאל & רותם 5 דוגמא – המשך 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:

6. © אריאל & רותם 6 דוגמא – המשך 1. S  Aa | a 2. A  Ab | b | BC | B | C 3. B  BBAa | BAa | Aa | a | BBa | Ba | I 4. I  aab 2. ביטול חוקי -  :

7. © אריאל & רותם 7 דוגמא – המשך 1. S  Aa | a 2. A  Ab | b | BC | B | C 3. B  BBAa | BAa | Aa | a | BBa | Ba | I 4. I  aab 3. זריקת משתנים מיותרים : a. זריקת משתנים שאינם ניתנים לגזירה טרמינלית :

8. © אריאל & רותם 8 דוגמא – המשך 1. S  Aa | a 2. A  Ab | b | B 3. B  BBAa | BAa | Aa | a | BBa | Ba | I 4. I  aab b. זריקת משתנים שאינם ניתנים להשגה מ - S: אין כאלה

9. © אריאל & רותם 9 דוגמא – המשך 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 4. ביטול חוקי יחידה :

10. © אריאל & רותם 10 דוגמא – המשך 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 5. זריקת משתנים מיותרים : a. זריקת משתנים שאינם ניתנים לגזירה טרמינלית : אין כאלה

11. © אריאל & רותם 11 דוגמא – סוף 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: וקיבלנו את הדקדוק המפושט !