چند سوال دیگه از نظریه. بنظرم برای سوالات تستی زیاد جالب نیست. بهتره علاوه بر جوابها استدلال خودتون رو هم بنویسید.
۱- چندتا از زبانهای زیر منظم هستند؟
[tex]L_1=\{a^nb^{2n 3};n\leq200\}[/tex]
[tex]L_2=\{a^ka^nb^m;k\geq 3,n\leq m\}[/tex]
[tex]L_3=\{w_1w_2|n_a(w_1)=n_b(w_2)\}[/tex]
الف) ۰
ب) ۱
ج) ۲
د) ۳
۲- کدام عبارت نادرست است؟
الف) برای هر عبارت منظم گرامر راست خطی وجود دارد.
ب) برای هر گرامر خطی میتوان یک dfa کشید.
ج) برای هر زبان که رشته های پذیرفته شده اش طول بزرگتر از M ندارند میتوان یک گرامر چپ خطی نوشت.
د) اگر گرامرهای G1 و G3 چپ خطی و G2 راست خطی باشند، میتوان گرامر [tex]S\to S_1S_2S_3[/tex] را بفرم راست خطی نوشت. ([tex]S_i[/tex] شروع گرامر [tex]G_i[/tex] است.)
۳- چند زبان زیر میتوانند منظم باشند؟
بستار ستاره L1 اگر L1 منظم نباشد.
L1.L1 اگر L1 منظم نباشد.
L1.L2 اگر L1 و L2 منظم نباشند.
L1-L2 اگر L1 و L2 منظم نباشند.
الف) ۱
ب) ۲
ج) ۳
د) ۴
سوال ۴ وقتی مقدار ۲na+3nb زوج میشه که فقط مقدار nb زوج باشه.
سوال ۶ فقط گزینه ۲ تمام رشته های زبان رو تولید میکنه. گزینه ج رشته های بدون a رو تولید نمیکنه. سوال زبانی رو میخاد که رشته های مشخص شده در صورت سوال رو تولید کنه. اگه رشته های بیشتر تولید کرد مشکلی نیست.
مثل اینکه جوابی درکار نیست. اگه پاسخی داشتید یا سوالی مونده با پیام خصوصی بفرستید. پاسخ هارو امشب قرار میدم. خدانگهدار.
).