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

מצגת בנושא: "הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353)"— תמליל מצגת:

1 הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353)
שפות רגולריות תרגיל מספר 3 © אריאל ירושביץ'

2 תזכורת - שפות רגולריות שפה L היא רגולרית אם"ם קיים אס"ד A כך ש L(A)=L.
ראיתם בהרצאה שהשפות הרגולריות סגורות תחת: חיתוך איחוד משלים We should provide a proof for the countability of automatas. © אריאל & רותם © אריאל ירושביץ'

3 תרגיל 1 יש לבנות אוטומט עבור השפה L מעל S = {0,1}:
{w אינה מסתיימת ב-01 או שמספר האחדים ב-w אי-זוגי | {w נשים לב כי שפה זו הינה איחוד של שתי שפות: L1 = {w| #1(w) is odd} L2 = {w01| wS*} © אריאל & רותם © אריאל ירושביץ'

4 תרגיל 2 נתונה שפה רגולרית L ונתון אוטומט A המקבל אותה.
יש לבנות אס"ד המקבל את השפה: Lo={w | wL  |w| is odd} שתי דרכים: בניית אוטומט חיתוך. בנייה "ישירה" – בניית אוטומט על-ידי שינוי האוטומט הנתון. © אריאל & רותם © אריאל ירושביץ'

5 {s1g1…sngn | s,g S , s1…snL1 , g1…gnL2}
תרגיל 3 יהיו L1, L2 שפות רגולריות מעל S נתון. הוכח כי השפה הבאה רגולרית: {s1g1…sngn | s,g S , s1…snL1 , g1…gnL2} רעיון ההוכחה - שילוב הטכניקות מהשקפים הקודמים: שימוש בזוגות מצבים לשם סימולציה של ריצה בו-זמנית על שני אוטומטים. "ריצה בזיגזג" בין שתי קבוצות מצבים. © אריאל & רותם © אריאל ירושביץ'

6 האם יש שפות לא רגולריות מהי עוצמת קבוצת האוטומטים ???
קבוצת האוטומטים היא קבוצה בת-מניה, אך ראינו שקבוצת השפות אינה בת מניה! מסקנה: יש יותר שפות מאוטומטים, ולכן יש שפות שאינן רגולריות. בפרט, בהרצאה ראיתם שהשפה אינה רגולרית. © אריאל & רותם © אריאל ירושביץ'