בעיה בדיקדוקים

[SkUnKadd]

בעיה בדיקדוקים

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

 

[yuvalmadar]

רעיון

א. תבחר את זוגיות m. ב. לאחר מכן, תייצר a^nb^n מזוגיות מתאימה. בפירוט:

S <= aaS | aX | Z X <= bYa Y <= bbYaa | e Z <= bbZaa | e​

הערה: התעלמתי מכךש שm,n>=1. אתה מוזמן לדאוג לכך בעצמך.

 

[johnny d]

ההתחלה לפתרון הפשוט הוא

S -> AB | AabBa

 

[SkUnKadd]

תודה רבה לכם!