שאלה במודליים חישוביים (אס"ד

"כל המילים מכילות רצף aa ולא מסתיימות ברצף bb"
אני בעצם כותב חמישה עיגולים?
a - > a - > b - > c -> abc?