۱- توی این زبان ، اول رشته با a شروع میشه و آخر رشته هم با a تمام میشه در ضمن یه جایی هم وسط رشته باید دوتا a پشت سر هم بیاد ، dfa این زبان این شکلی میشه


۲- *{a,b} یعنی هر ترکیبی از a و b که [tex]\lambda[/tex] هم جزءش هست یعنی رشته به طول صفر هم داریم به عنوان مثال چند نمونه از رشته هایی که میشه ساخت { bba , bab , aab , ba , ab , b , a , [tex]\lambda[/tex] } کلا هر ترکیبی رو که فکرش بکنی میشه ساخت

ولی اگر به جای استار (*) علامت پلاس بذاریم دیگه [tex]\lambda[/tex] نداریم یعنی حداقل رشته به طول یک هست یعنی حداقل رشته یا شامل یک a و یا یک b می باشد
۳-وقتی روی یک حالت a و b با هم لوپ می خورن یعنی هر ترکیبی از a و b می تونه بیاد