در مورد سوال ۵۲ داریم :
اگر از حالت q0 شروع کنیم همانطور که دوستمون هم گفتن فقط در یک حالت یعنی گزینه ۳ میتوان با عبارت a میتوان به q2 رسید.
در مورد گزینه۱ میتوان با عبارت b اشتباه آن را ثابت کرد چون برای (q0,b,z) تعریفی نداریم .
در مورد گزینه ۲ هم ماشین عبارت a را می پذیرد که در این زبان اصلا عبارت a نداریم .
در مورد گزینه ۴ با عبارت aa داریم ابتدا با (q0,a,z) به q1 میرسیم و a در پشته اما برای (q1,a,b) باید b در پشته باشد تا به q2 برسیم
در مورد سوال۵۳ :
این تمرین حل شده کتاب لینز __تمرین ۱۳ بخش الف فصل ۴ __ هستش که خودش آخر کتاب جواب داده می نویسم .
جواب لینز : هر رشته که دو نماد مساوی یکسان داشته باشددر این زبان است .یک عبارت منظم برای L عبارت است از :
(ab)(ab)∗(aabb)(ab)(ab)∗
در مورد سوال ۵۶ داریم : ( از کتاب سودکمپ )
(u∪v)∗=(u∗∪v)∗=u∗(u∪v)∗=(u∪vu∗)∗=(u∗v∗)∗=u∗(vu∗)∗=(u∗v)∗u∗
لذا مقایسه کنید هر سه گزینه درست است .