1

אוטומטים ושפות פורמליותד"ר ויקטוריה סחניני

מכללת סכנין להכשרת עובדי הוראה

2

איך מאפיינים שפה פורמלית?דרך ראשונה :

הדרך האנליטית, מתן תשובה, עבור כל מילה ? התשובה ניתנה L שייכת ל- x, האם xנתונה

, ובגמר xבעזרת אוטומט שקורא את המילה הקריאה עונים על השאלה על פי המצב שאליו

נכנס האוטומט.

3

איך מאפיינים שפה פורמלית?דרך שנייה :

הדרך הסינתטית, בעזרת תהליך בעל התכונות האלה:

כל אימת שהתהליך מופעל ומסתיים, הוא 1..L השייכת ל- xמייצר מלה

קיימת דרך L השייכת ל- xעבור כל מלה 2.להפעלת התהליך, ועם סיום התהליך נוצרת

.xהמלה

4

. דקדוקנהוג לקרוא לתהליך יצירה כזה בשם

דוגמא: דקדוק לביטויים אריתמטיים.

5

הגדרה פורמלית מכיל:G(=S,P,T,Vדקדוק )

קבוצה סופית לא ריקהV של משתנים דקדוקיים

קבוצה סופית לא ריקה T של סימנים .Vטרמינליים, הזרה ל

.משתנה דקדוקי התחלתי קבוצה סופית של כללי שכתוב מכונים גם

כללי גזירה.

6

:1דוגמא

S --- > aSb | ab

7

2דוגמא :

S --- > aSa | bSb | aa | bb

8

:3דוגמא

S --- > aSa | bSb | aa | bb |

9

:4דוגמא

S -- > aM

M -- > aM | bM | cM | c

10

5דוגמא :

S -- > aM | bM

M -- > aS | bS |

11

:6דוגמא S -- > RTR -- > aRb | abT -- > bTc | bc

12

:7דוגמא S -- > aTa | bRbT -- > aTb | aTa | bTa | bTb | aaR -- > aRb | aRa | bRa | bRb | bb

13

1שאלה בנה דקדוק המגדיר את השפה הבאה: כל

אשר הן מהצורה { a,b,c}המילים מעל א"ב a,b מכילה אותיות w כאשר wcwRהבאה בלבד

14

2שאלה בנה דקדוק המגדיר את השפה הבאה: כל

אשר הן מהצורה {a,b}המילים מעל א"ב anbm ומתקיים n=2m.

15

3שאלה בנה דקדוק המגדיר את השפה הבאה: כל

אשר הן מהצורה {a,b}המילים מעל א"ב anbm ומתקיים m=2n.

16

22תרגיל בית מס' תרגיל בית מס'

17

ההיררכיה של חומסקי(0דקדוקים בלתי מוגבלים )טיפוס 1.

(1דקדוקים תלויי-הקשר )טיפוס 2.

(2דקדוקים חופשיי-הקשר )טיפוס 3.

(3דקדוקים רגולריים )טיפוס 4.

18

19

דקדוקים רגולריים והשקילות לאוטומט סופי

20

הגדרה : דקדוק ליניארידקדוק נקרא ליניארי אמ"מ כל כלליו הם מן

הצורה

A -- > w1Bw2

A -- > w

21

משפטקיים דקדוק ליניארי היוצר שפה שאינה רגולרית

22

הגדרה, אמ"מ רב-משמעי ייקרא Gדקדוק חופשי הקשר

שיש לה לפחות שני עצי )wεL)Gקיימת מלה .חד-משמעיגזירה שונים. ולא – הוא ייקרא