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

נושא: מכונת טיורינג

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


הצטרף / הצטרפה: 08 December 2010
משתמש: מנותק/ת
הודעות: 7
נשלח בתאריך: 22 March 2011 בשעה 17:10 | IP רשוּם
ציטוט Raigki
נתקלתי בבעיה בבניית מכונת טיורינג לשפה הבאה:
L={a^nb^mc^k|n>m>k>=0}d
כלומר,רצף של a שגדול מרצף הb שבא אחריו שגדול מרצף הc שבא אחריו (יכול לא להיות רצף c).

הבנתי שיש להחליף כל אות ברצף ודרך כך לדעת האם המילה עונה על תנאי השפה,אבל אני דיי תקוע ביישום של זה.
איך אני מטפל בשפה הזו?

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


הצטרף / הצטרפה: 31 May 2008
משתמש: מנותק/ת
הודעות: 6
נשלח בתאריך: 03 October 2011 בשעה 20:28 | IP רשוּם
ציטוט barak1412
רעיון כללי שעכשיו חשבתי עליו:
בהתחלה אתה רושם תו מיוחד $ וזז ימינה
כל פעם שאתה רואה a ואתה במצב של קליטת a-ים תרשום a על הסרט
וזוז ימינה.
כשאתה רואה b אם אתה במצב a אתה עובר למצב b ודוחף # ובכל
מקרה אתה זז שמאלה אם הגעת ל-$ אתה מגיע למצב של דחייה.
כשאתה קולט c אתה זז ימינה אם הגעת ל # אתה דוחה.
עבור ה c אתה במצב מקבל.
אם אתה רואה אות שאתה לא אמור לראות (למשל c אחרי a או a אחרי
שכבר ראית b) אתה עובר למצב זבל (שממנו אי אפשר להגיע למצב
מקבל)
אני מקווה שהבנת את הרעיון זהו ממש לא תיאור פורמלי.
חזרה לתחילת העמוד הצג את כרטיס החבר של barak1412 חפש הודעות אחרות של barak1412
 

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

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

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