שאלה בדקדוקים

[18ortal]

שאלה בדקדוקים

{ a^n b^m c^k \ אם m=n אזי k=3, n,m,k>=0} אני צריכה לבדוק לזה דקדוק (אפשר בכלל?!=/) אני אודה למי שיעזור!!! תודה=]

 

[18ortal]

תיקון***

לא ממש מבינים את התנאי : * אם m=n אזי k=3 n,m,k>=0

 

[18ortal]

../images/Emo206.gif אופ הפורום הזה לא עוזר

 

[1ca1]

כל אסופת כללי גזירה היא תמיד דקדוק

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

 

[18ortal]

כן אבל

אמרו לי שאפשר לבנות לזה דקדוק אבל אני לא מצליחה מישו מכם יודע?!=/

 

[1ca1]

בגדול

אני מקווה שאת מכירה את כלל הגזירה ליצור כך שn=m אז הכלל הראשוני הולך כך: S->PK כאשר P הוא הכלל היוצר את n=m וK הוא כלל המכיל את ccc וזהו. עכשיו נותר לנו לטפל בחלק השני של התנאי. אז S->AC|BC כאשר C הוא כלל הנותן את אפסילון או את cC וכך אפשר להוסיף כמה cים שאנחנו רוצים. A וB בהתאמה הם כללים הגורמים חוסר שיוויון בa,b למשל A->aP או B->Pb כנראה זה לא הדקדוק המינימלי (לא חומסקי), אבל מספיק טוב לעניינו...

 

[Okuryo]

../images/Emo119.gifזה לא עובד...

המילה abc בשפה הנוצרת מהדקדוק הזה, אפילו שמתקיים בה m = n אבל k = 1.

 

[18ortal]

=/

סורי אבל לא הבנתי את ההסבר

 

[Okuryo]

../images/Emo119.gifסליחה,

לא קראתי את הודעתו של לא קראתי את הודעתו של 1ca1 בעיון. הדקדוק הבא באמת יוצר את השפה הנתונה:

S → Pccc | AC | BC A → aA | aP B → Bb | Pb C → cC | ε P → aPb | ε​