ט%20תרגילים%20לש

ט%20תרגילים%20לש

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: ‫תרגילי לשפות מזוהות‬ ‫מרצה: דר' מירי פרייזלר‬ ‫שאלה 1‬ ‫הוכיחו שהשפות הבאות ה שפות מזוהות :‬ ‫השפה 1‪ L‬המכילה את כל המחרוזות הבינאריות בה מספר ה-0י לא כפול ממספר ה-1י .‬ ‫השפה 2‪ , L‬כאשר :‬ ‫} 0 > ‪L2 = { 0i1j0i+j1i-j | i,j‬‬ ‫השפה 3‪ , L‬כאשר :‬ ‫} ‪ A‬אוטומט סופי דטרמיניסטי ו- ∅ = )‪L3 = { <A> | L(A‬‬ ‫השפה 4‪ , L‬כאשר :‬ ‫} ‪ G‬גר מכוו קשיר בחזקה | >‪L4 = { <G‬‬ ‫שאלה 2‬ ‫נתונה השפה הבאה :‬ ‫} ‪ A‬אוטומט סופי דטרמיניסטי של , ו- ∅ = )‪L = { < A > | L(A‬‬ ‫‪.iv‬‬ ‫‪.iii‬‬ ‫‪.i‬‬ ‫‪.ii‬‬ ‫ונתונות מכונות טיורינג 2‪ M1 , M‬הבאות :‬ ‫1‪ – M‬קלט: אוטומט סופי דטרמיניסטי של >‪: <A‬‬ ‫‪w‬‬ ‫‪ε‬‬ ‫1.‬ ‫2.‬ ‫3.‬ ‫4.‬ ‫5.‬ ‫נרי את ‪ w‬על ‪ A‬החל ממצב ההתחלה 0‪. q‬‬ ‫א הגענו למצב מזהה – נעצור ונידחה .‬ ‫כאשר )‪ next(w‬הוא המחרוזת הבאה אחרי ‪ w‬בסדר לקסיקוגרפי‬ ‫‪w‬‬ ‫)‪next(w‬‬ ‫נחזור לשלב 2 .‬ ‫2‪ – M‬קלט: אוטומט סופי דטרמיניסטי של >‪: <A‬‬ ‫‪w‬‬ ‫1. ‪ε‬‬ ‫2. נרי את ‪ w‬על ‪ A‬החל ממצב ההתחלה 0‪. q‬‬ ‫3. א הגענו למצב מזהה – נעצור ונקבל .‬ ‫‪ w‬כאשר )‪ next(w‬הוא המחרוזת הבאה אחרי ‪ w‬בסדר לקסיקוגרפי‬ ‫4. )‪next(w‬‬ ‫5. נחזור לשלב 2 .‬ ‫1‬ ‫הוכיחו או הפריכו כל אחד מהסעיפי הבאי :‬ ‫א. 1‪ M‬מזהה את ‪. L‬‬ ‫ב. 1‪ M‬מזהה את ‪. L‬‬ ‫ג. 2‪ M‬מזהה את ‪. L‬‬ ‫ד. 2‪ M‬מזהה את ‪. L‬‬ ‫שאלה 3‬ ‫הוכיחו שנית להתייחס אל אוטומטי סופיי כאל מחרוזות בינאריות .‬ ‫שאלה 4‬ ‫א. הוכיחו שהשפה ‪ LNR‬היא שפה מזוהה :‬ ‫} ) ‪LNR = { <Mi> | <Mi> ∈ L(Mi‬‬ ‫ב. הוכיחו שהשפה הבאה איננה מזוהה :‬ ‫} ) ‪LNR2 = { <Mi> | <M2i> ∉ L(Mi‬‬ ‫שאלה 5‬ ‫הוכיחו או הפריכו כל אחד מהסעיפי הבאי :‬ ‫א. השפות המזוהות סגורות תחת חיתו .‬ ‫ב. השפות המזוהות סגורות תחת שירשור .‬ ‫2‬ ...
View Full Document

This note was uploaded on 03/08/2010 for the course ENGINEERIN 50-22-43-2 taught by Professor Prizler during the Spring '10 term at Tel Aviv Uni..

Ask a homework question - tutors are online