בהגדרת השפה כתוב באופן מפורש ולא משתמשע לשתי פנים - השפה מורכבת מכל המילים מעל הא"ב {B,C} שמתחילה במספר אותיות B המתחלק ללא שארית ב-3, ואחריהן נמצאות שתי אותיות B. אני חושב שזה מאד ברור מהגדרת השפה.
לא חוזרת על עצמה.. המילה הכי קצרה היא: CC נכון? צריך מלכודת? במצב שאחרי הB הראשון מופיע C במצב שאחרי הB השני מופיע C במצב שאחרי הC האחרון(איפה שהמצב המקבל) מופיע B .. כן? תודה ענקית על העזרה.
אחת ההגדרות של אוטומט סופי דטרמיניסטי היא שלכל מצב מוגדרת פונקציית מעבר עם כל אות (ז"א לכל מצב עם כל אות אפשר לעבור ממנו למצב אחר). לא יכול להיות שיש מצב שיוצא ממנו חץ עם C אבל לא עם B, או להיפך.