נושאים פעיליםנושאים פעילים  הצגת רשימה של חברי הפורוםרשימת משתמשים  חיפוש בפורוםחיפוש  עזרהעזרה
  הרשמההרשמה  התחברותהתחברות RSS עדכונים
מדעי המחשב
RSS UnderWarrior Forums : RSS מדעי המחשב
נושא

נושא: מודלים חישוביים

שליחת תגובהשליחת נושא חדש
כותב
הודעה << נושא קודם | נושא הבא >>
נועה
אורח
אורח


הצטרף / הצטרפה: 01 October 2003
משתמש: אונליין
הודעות: 12647
נשלח בתאריך: 14 February 2006 בשעה 19:37 | IP רשוּם
ציטוט נועה

היי יש לי שאלה:

אם קיימת שפה L רגולרית, ו- 'L מתקבלת ע"י השמטת האות האחרונה מכל מלה של L, האם גם 'L רגולרית? ואם כן, איך מוכיחים את זה?

תודה רבה!

חזרה לתחילת העמוד הצג את כרטיס החבר של נועה חפש הודעות אחרות של נועה בקר בדף הבית של נועה
 
shoshan
מנהל האתר
מנהל האתר
סמל אישי

הצטרף / הצטרפה: 16 July 2005
מדינה: Israel
משתמש: מנותק/ת
הודעות: 4637
נשלח בתאריך: 14 February 2006 בשעה 19:52 | IP רשוּם
ציטוט shoshan

יכול להיות שאני טועה...סתם נסיון...

נגדיר את השפה L2 כך:
קוד:
L2={האות האחרונה ב-L}


L היא רגולרית, ואפשר גם להגדיר אותה בתור
קוד:
L=L'*L2
(כלומר שרשור של L' עם האות האחרונה ב-L.)

עכשיו השפה L2 היא כמובן רגולרית.

ועכשיו החלק שאני לא בטוח בו:

מסגירות משפחת השפות הרגולריות תחת פעולת השרשור אני מסיק שמכיוון ש-L ו-L2 רגולרית, L' גם היא רגולרית ???
חזרה לתחילת העמוד הצג את כרטיס החבר של shoshan חפש הודעות אחרות של shoshan בקר בדף הבית של shoshan
 

אם ברצונך להגיב לנושא זה עליך קודם להתחבר
אם אינך רשום/ה כבר עליך להרשם

  שליחת תגובהשליחת נושא חדש
גרסת הדפסה גרסת הדפסה

קפיצה לפורום
אינך יכול/ה לשלוח נושאים חדשים בפורום זה
אינך יכול/ה להגיב לנושאים בפורום זה
אינך יכול/ה למחוק את הודעותיך ותגוביך בפורום זה
אינך יכול/ה לערוך את הודעותיך ותגובותיך בפורום זה
אינך יכול/ה לצור סקרים בפורום זה
אינך יכול/ה להצביע בסקרים בפורום זה