×´×”×™×” שווה להגיע לצד ×”×©× ×™ של ×”×¢×•×œ× ×¨×§ בשביל לפגוש
אוטומטים ושפות פורמליות
description
Transcript of אוטומטים ושפות פורמליות
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קיימת מלה .חד-משמעיגזירה שונים. ולא – הוא ייקרא