slide1 n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
אוטומטים ושפות פורמליות PowerPoint Presentation
Download Presentation
אוטומטים ושפות פורמליות

Loading in 2 Seconds...

play fullscreen
1 / 22

אוטומטים ושפות פורמליות - PowerPoint PPT Presentation


  • 178 Views
  • Uploaded on

אוטומטים ושפות פורמליות. ד"ר ויקטוריה סחניני מכללת סכנין להכשרת עובדי הוראה. איך מאפיינים שפה פורמלית?. דרך ראשונה : הדרך האנליטית, מתן תשובה, עבור כל מילה נתונה x , האם x שייכת ל- L ? התשובה ניתנה בעזרת אוטומט שקורא את המילה x , ובגמר הקריאה עונים על השאלה על פי המצב שאליו נכנס האוטומט.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'אוטומטים ושפות פורמליות' - gen


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
slide1

אוטומטים ושפות פורמליות

ד"ר ויקטוריה סחניני

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

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

דרך ראשונה :

הדרך האנליטית, מתן תשובה, עבור כל מילה נתונה x, האם x שייכת ל- L? התשובה ניתנה בעזרת אוטומט שקורא את המילה x, ובגמר הקריאה עונים על השאלה על פי המצב שאליו נכנס האוטומט.

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

דרך שנייה :

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

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

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

slide5
הגדרה פורמלית

דקדוק (S,P,T,V)=G מכיל:

  • קבוצה סופית לא ריקה V של משתנים דקדוקיים
  • קבוצה סופית לא ריקה T של סימנים טרמינליים, הזרה ל V.
  • משתנה דקדוקי התחלתי.
  • קבוצה סופית של כללי שכתוב מכונים גם כללי גזירה.
slide6

דוגמא 1:

S --- > aSb | ab

slide7

דוגמא 2:

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

slide8

דוגמא 3:

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

slide9

דוגמא 4:

S -- > aM

M -- > aM | bM | cM | c

slide10

דוגמא 5:

S -- > aM | bM

M -- > aS | bS | 

slide11
דוגמא 6:

S -- > RT

R -- > aRb | ab

T -- > bTc | bc

slide12
דוגמא 7:

S -- > aTa | bRb

T -- > aTb | aTa | bTa | bTb | aa

R -- > aRb | aRa | bRa | bRb | bb

slide13
שאלה 1

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

slide14
שאלה 2

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

slide15
שאלה 3

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

slide17
ההיררכיה של חומסקי
  • דקדוקים בלתי מוגבלים (טיפוס 0)
  • דקדוקים תלויי-הקשר (טיפוס 1)
  • דקדוקים חופשיי-הקשר (טיפוס 2)
  • דקדוקים רגולריים (טיפוס 3)
slide20
הגדרה : דקדוק ליניארי

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

A -- > w1Bw2

A -- > w

slide21
משפט

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

slide22
הגדרה

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