שלום,
האם עליי לתמוך בסימטריות האופרטורים (בשיתוף של סעיף 4.1.ב) כלומר האם הקוד הבא יתקמפל: (או לחילופין לא יבדק מקרה זה)
G2 = {a,b|<a,b>} + G1
בדוגמא התייחסתי לאופרטור + אבל השאלה מיוחסת לכלל האופרטורים הבינאריים.
כן (צריך לתמוך) - אין הבדל לעניין זה בין מצב בו ה-graph literal משמאל למצב שבו הוא מימין.
באופן כללי התשובה לכל שאלה מסוג זה היא - לעשות מה שהמשתמש היה מצפה. אם המשתמש היה מצפה שזה יעבוד, זה צריך לעבוד :)