עבור לתוכן

שאלה באוטומטים

Featured Replies

פורסם

אשמח אם מישהו יוכל לעזור לי לפתור את השאלה המצ"ב בקובץ כי ממש שברתי עליה את הראש ולא הגעתי לפתרון... :'(

תודה :smile1:

[attachment deleted by admin]

פורסם

נראה לי שזה נכון, לא ? אתה שואל איך מוכיחים את זה ?

פורסם
  • מחבר

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

פורסם

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

הכיוון השני דומה, אם המילה היא לא אפסילון אז היא בהכרח ב B, אחרת אם היא אפסילון אז היא בגלל התוספת.

מבולבלים ? גם אנחנו...

פורסם
  • מחבר

סבבה :xyxthumbs:

נראה לך שאם אני אבטא את זה במילים זה יתפוס כהוכחה ?

פורסם

עדיף לנסות להיצמד לכמה שיותר פורמליזם :)

פורסם

זאת לא הפרכה?

תצייר את A כאוטמט מעל א"ב a שמקבל רק מילים עם מספר פעמים אי-זוגי של a-ים (לדוגמא: a, aaa, aaaaa בשפה).

ותקבל ש-B זה בעצם כל המילים בא"ב.

פורסם

כן, כדאי להשתמש בשכל לפעמים P:

פורסם
  • מחבר

יש לי שאלה אחת נוספת שלא הצלחתי לפתור....

אני אמור לשרטט את האוטומט C.

צירפתי בקובץ...

אני יודע שאני צריך שבריצה אחת אצל אוטומט אחד הריצה תסתיים במצב מקבל ובעוד בריצה אחרת היא

לא תתקבל, כלומר נקבל את ההפרש הסימטרי, אבל יש לי בעיה לשרטט את זה...

אני אשמח אם מישהו יוכל לצייר עבורי את זה ...

תודה :smile1:

[attachment deleted by admin]

פורסם

ננסה שוב (ואז בטח יבוא מישהו ויראה איזה שטות אני כותב):

תיצור אוטומט מכפלה של 2 האוטומטים האלו ותדאג שהמצבים המקבלים שלו הם רק אלו אשר היו מצבים מקבלים באחד מהאוטומטים המקוריים ולא בשניהם ביחד.

פורסם
  • מחבר

יש לך אפשרות לשרטט את C ? כי זו בדיוק הבעיה שלי....

פורסם

אתה יודע מה זה אוטומט מכפלה / איך הוא נראה ?

פורסם
  • מחבר

ברור שאני יודע אבל C איננו אוטומט מכפלה..... :nixweiss:

פורסם

למה לא ?

ארכיון

דיון זה הועבר לארכיון ולא ניתן להוסיף בו תגובות חדשות.

דיונים חדשים