שאלה בבניית מודלים (אוטומט סופי דטרמיניסטי)

אני אגיד לך איך זה עובד כי לא הבנתי את מה שאתה מנסה להגיד:
קודם כל, בכלליות אס"ד זה כמו אסד"מ (אוטומט סופי דטרמינסטי מלא) אבל ההבדל היחיד זה שלא מכלילים את המצבים של המלכודת באס"ד כשבונים אותו.
דבר שני, אם היה צריך לבנות אסד"מ לדוגמה שאמרת, אז לא היה יכול להיות לה מלכודת כי תמיד יכול להיות רצף של שני קלטי a ואז זה יצא למצב מקבל (במלכודת תקועים לנצח, אי אפשר לצאת).
אני מקווה שהסברתי את זה טוב כי כשלמדתי לבגרות במדעי המחשב היה לי קשה להבין את המורה, אז אני מסביר לפי מה שאני יודע.