היי,אשמח אם תוכלו תעזרו לי בשתי השאלות:

שאלה ראשונה:


[התמונה הבאה מגיעה מקישור שלא מתחיל ב https ולכן לא הוטמעה בדף כדי לשמור על https תקין: http://img27.imageshack.us/img27/9269/73773227.jpg]


סעיף א' - שתי המילים הראשונות לא מתקבלות,המילה השלישית כן.
סעיף ב' - לא ממש הצלחתי לעלות על השפה המתקבלת,אשמח אם תוכלו לעזור לי ולפרט (אם אפשר בפירוט מילולי,לדוגמה "המילה חייבת להתחיל בa ולהסתיים בb")

שאלה שניה:


[התמונה הבאה מגיעה מקישור שלא מתחיל ב https ולכן לא הוטמעה בדף כדי לשמור על https תקין: http://img27.imageshack.us/img27/341/72805749v.jpg]


סעיף א' - אני לא בטוח שאני צודק,תקנו אותי אם אני טועה:
בaab - L1
בaab - L2

סעיף ב' - אשמח לעזרה
[התמונה הבאה מגיעה מקישור שלא מתחיל ב https ולכן לא הוטמעה בדף כדי לשמור על https תקין: http://forums.gamer.co.il/gamer/forum_images/smiley.gif]
אני יודע שL1 היא השפה הרגולרית,אבל בשביל להוכיח את זה צריך לבנות לשפה אס"ד (כך למדנו),אשמח אם מישהו יעזור לי לבנות אס"ד לשפה.

תודה רבה!

שאלה ראשונה:
סעיף א' צודק.

סעיף ב',

[tex]a^n \cdot b^m[/tex]

כאשר שארית החלוקה של n ב 3 שווה לשארית החלוקה של m ב 3. (n,b חיוביים או 0)

שאלה שנייה סעיף א' אתה צודק.

אני חושב שבסעיף ב' אפשר ללכת על התחכמות, אם אמרו לך ששפה אחת רגולרית והשניה לא, אתה לא חייב להוכיח את הטענה לשתיהן, מספיק להוכיח שאחת רגולרית (כנ"ל ההיפך)

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

אני דווקא חשבתי על b אחוז 3 צריך להיות שווה למספר ה a ואסור שיבוא a אחרי b ... זה נכון?

גם בדקתי לפי כמה דוגמאות וזה יוצא טוב

ציטוט:

b אחוז 3 צריך להיות שווה למספר ה a ואסור שיבוא a אחרי b ...

לפי מה שאתה אומר המילה הבאה לא אמורה להתקבל: aaaab
כי b%3 זה 1, ויש לך 4 a. אבל המילה הזאת כן מתקבלת, כי 4%3=1 ו- 1%3=1

מה שאמרתי זה נכון, הסיבה ש a לא יכול לבוא אחרי b היא בגלל ש a חייב להופיע 0 או יותר פעמים לפני b, לכן אם המילה התחילה כבר ב b לא יבוא a אחריה.

האוטומט לשאלה השניה:



איפשה שחסרים מצבים, זה אמור להיות מלכודת - לא מקבל.

פוטושופ

אתה יכול להסביר לי אך זה :

כאשר שארית החלוקה של n ב 3 שווה לשארית החלוקה של m ב 3. (n,b חיוביים או 0)

מתבטא בדוגמאות שנתנו בשאלה בסעיף א' ?
לא הבנתי ממש ...
למה יש בדוגמאות abba וזה אמור לא להתקבל בשפה אני יודע... ובמה שאמרת זה כן מתקבל :\
אותו דבר שפה ריקה ואותו דבר aabb

[התמונה הבאה מגיעה מקישור שלא מתחיל ב https ולכן לא הוטמעה בדף כדי לשמור על https תקין: http://tex.fresh.co.il/?a%5En%20%5Ccdot%20b%5Em]


ז"א שיש כאן סדר בשרשור - קודם a ואח"כ b

abba לא מתקבל כי אחרי b לא יכול לבוא a (
[התמונה הבאה מגיעה מקישור שלא מתחיל ב https ולכן לא הוטמעה בדף כדי לשמור על https תקין: http://tex.fresh.co.il/?a%5En%20%5Ccdot%20b%5Em]
)
שפה ריקה: n=m=0 ו 0%3=0 אז זה מתקבל.

aabb - אומר ש n = 2 ו m = 2, בשניהם 2%3=2 לכן המילה תקינה.

וואלה תודה נשמה =]

בכיף