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

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

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


הצטרף / הצטרפה: 01 October 2003
משתמש: אונליין
הודעות: 12647
נשלח בתאריך: 29 November 2007 בשעה 17:08 | IP רשוּם
ציטוט אורח
אפשר הסבר כיצד מוכיחים ששפה היא רגולרית על ידי שימוש בתכונות הסגירות.
הבנתי שאני צריך להפריד אותה לשתי שפות ואז לבנות לכל אחת אוטומט, אבל לא ממש הבנתי מה אני עושה אחרי זה.

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


הצטרף / הצטרפה: 18 November 2007
משתמש: מנותק/ת
הודעות: 110
נשלח בתאריך: 29 November 2007 בשעה 18:58 | IP רשוּם
ציטוט idan
אני לא הייתי משתמש בתוכנות הסגירות כדי להוכיח ששפה היא רגולרית, אבל אני חושב שאחרי זה אתה פשוט אומר שהשפה מקבלת את החיתוך של האוטומט הראשון והאוטומט השני, ואז בטח יש איזה משפט שאם שתי השפות רגולריות אז גם החיתוך בינהם יוצר שפה רגולרית (אומנם המצאתי את זה כרגע אבל זה נשמע הגיוני).

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


__________________
הורדת סרטונים
חזרה לתחילת העמוד הצג את כרטיס החבר של idan חפש הודעות אחרות של idan
 

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

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

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