Presentation is loading. Please wait.

Presentation is loading. Please wait.

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

Similar presentations


Presentation on theme: "א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( 236353) תרגיל מספר 1."— Presentation transcript:

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

2 © אריאל & רותם 2 מילים, מילים - הגדרות אות הינה סימן כלשהו, לדוגמא : a, 3, $, מילה (string) הינה קבוצה סדורה וסופית של אותיות. aaa, 132, 13d3$$# מסמנים ב  את המילה הריקה, |  |=0

3 © אריאל & רותם 3 שפות אלף - בית הינו קבוצה סופית של אותיות, מסומן בד " כ ב  בד " כ נתייחס למילים מעל א " ב נתון, כלומר מילים שאותיותיהן שייכות לקבוצה נתונה אוסף של מילים מעל א " ב נתון נקרא שפה דוגמאות לשפות מעל הא " ב {a,b} {aab,b},{aaaa,  }, {w|# a (w) = # b (w) }, {  },  בהינתן א " ב , מסמנים את שפת כל המילים מעל א " ב זה ב  *

4 © אריאל & רותם 4 תכונות קרדינליוּת של שפות אנו מעוניינים לבחון את הקרדינליות של שפה, ושל קבוצת שפות תזכורת – קבוצה A היא בת - מניה אם ניתן להגדיר מיפוי חח " ע f: A   באופן כללי, מוכיחים שקילות בין קבוצות ע " י מציאת התאמה חח " ע ועל מקבוצה אחת לשניה או מציאת התאמה חח " ע לשני הכיוונים

5 © אריאל & רותם 5 שפת כל המילים מעל א " ב נתון  טענה - הקבוצה  * היא בת מנייה הוכחה : נגדיר סדר על אותיות  נגדיר סדר על המילים ב  * כלהלן : קודם לפי האורך. מילים באותו אורך עפ " י סדר לקסיקוגרפי

6 © אריאל & רותם 6 המיפוי f: {a,b} *   נגדיר g(a) = 0, g(b) = 1 f(σ 1 …σ n )=2 n +g(σ 1 )2 n-1 …g(σ n )2 0 דוגמאות f(  )=1, f(a)=2 1 =2,f(ba)=2 2 +2 1  מסקנה, הקבוצה {a,b}* בת מנייה, ולכן כל שפה L מעל {a,b} בת מנייה. ובדומה גם מעל כל א " ב ( סופי ).

7 © אריאל & רותם 7 קבוצת כל השפות מעל א " ב  טענה : קבוצת כל השפות מעל א " ב  אינה בת מנייה. עלינו להראות כי אין התאמה חח " ע מהשפות מעל  ל . הרעיון - נניח כי קיימת כזאת, ונביא לסתירה על ידי לכסון. הוכחה נניח כי L 1, L 2, … מנייה כלשהי של השפות מעל , ונוכיח כי קיימת בהכרח שפה שאינה שייכת למנייה.

8 © אריאל & רותם 8 הוכחה - המשך נבנה מטריצה אין סופית בשני הממדים : ( מנייה של כל המילים ב  * )  ( מנייה של כל השפות ) כך : w1w2w3...w1w2w3... L 1 L 2 L 3... A = a ij = 1, w i  L j 0, w i  L j מה קורה באלכסון ??? 010... 00 1..

9 © אריאל & רותם 9 הוכחה - סוף נגדיר שפה L ע " פ האפסים באלכסון המטריצה : L = {w i |a ii =0} ={w i |w i  L i } נראה כי שפה זו אינה נמנית במנייה שלעיל לכל i, L  L i כי : w i  L i  a ii = 1  w i  L w i  L i  a ii = 0  w i  L מסקנה לא קיימת מנייה של כל השפות ב P(  *) כלומר הקבוצה אינה בת מנייה! מ.ש.למ.ש.ל

10 © אריאל & רותם 10 שאלה 1 תהי L שפה כלשהי. הוכח : L * = L *  L * הוכחה : הכלה דו - כיוונית

11 © אריאל & רותם 11 שאלה 2 נתונות שתי מילים   x,y הוכח ש: xy=yx אם"ם קיימים i,j   ו   z כך ש x = z i ו- y = z j. הוכחה כיוון אחד פשוט ( איזה ?) כיוון שני - נוכיח באינדוקציה על |xy|.


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

Similar presentations


Ads by Google