‫به نام خدا‬

‫ماشینها‪ -‬بهار ‪۱۴۰۱‬‬

‫‌‬ ‫زبانها و‬
‫نظریه ‌‬

‫تمرین شماره ‪۱‬‬

‫دستیار آموزشی این مجموعه‪ :‬فاطمه محمدی‬

‫‪f24moh@gmail.com‬‬

‫تاریخ تحویل ‪ ۳۰ :‬مهرماه ‪۱۴۰۲‬‬

‫در صورت استفاده از توکن باالی صفحه تمرین نوشته شود در غیر این صورت تاخیر در نظر گرفته می‌شود‪.‬‬

‫‪ .1‬زبان‌های توصیف شده زیر را به صورت ریاضی نشان دهید‪.‬‬

‫‪ .a‬زبانی شامل رشته‌هایی که تعداد زوج ‪ 1‬و حداقل یک ‪ 0‬دارند‪)∑ = {0, 1} ( .‬‬

‫‪ .b‬زبانی شامل رشته‌هایی که حداقل دارای یک زیر رشته ‪ 0101‬باش‍ن‍‍د‪)∑ = {0, 1}( .‬‬

‫‪ .c‬زبانی که هیچ یک از رشته‌های غیر اپسیلون آن زبان پیشوند رشته‌های دیگر آن زبان نباشد‪.‬‬

‫(}‪)∑ = {0, 1‬‬

‫‪ .2‬برای زبان‌های زیر ‪ DFA‬رسم کنید‪.‬‬

‫‪ .a‬زبانی شامل رشته‌هایی که تعداد زوج ‪ 0‬و تعداد فرد ‪ 1‬دارند‪)∑ = {0, 1}( .‬‬

‫‪ .b‬زبانی شامل رشته‌هایی که در خود ‪ 101‬ندارند‪)∑ = {0, 1}( .‬‬

‫‪ .c‬زبانی شامل رشته‌هایی که در خود تعداد فرد ‪ 01‬دارند‪)∑ = {0, 1}( .‬‬

‫‪ .d‬زبانی شامل رشته‌هایی که با ‪ 0011‬تمام می‌شوند‪)∑ = {0, 1}( .‬‬

‫‪1‬‬
 ‫‪ .e‬زبانی که شامل هیچ رشته‌ای نباشد‪)∑ = {0, 1}( .‬‬

‫‪ .3‬برای زبان‌های زیر ‪ NFA‬رسم کنید‪.‬‬

‫‪ .a‬زبانی که شامل رشته‌هایی با طول مضرب ‪ 5‬یا ‪ 2‬باشد‪∑ = {0, 1} .‬‬

‫‪ .b‬زبانی شامل رشته‌هایی که با ‪ 01‬شروع نمی‌شوند‪∑ = {0, 1} .‬‬

‫‪ .c‬زبان هایی که بتوان آن ها را به دو زیر رشته متوالی تقسیم کرد که رشته اول یا تهی باشد‪ ،‬یا فقط شامل‬
‫‪ 0‬باشد و یا شامل تعداد زوج باشد و رشته ی دوم نیز یا تهی باشد و یا شامل تعدادی ‪ 01‬باشد‪( .‬با‬

‫حداکثر ‪ 6‬استیت) }‪∑ = {0, 1‬‬

‫‪.d‬‬

‫𝑛‬ ‫𝑛‬
‫}‪L = {𝑎 | 𝑛 > 0} ∨ {(𝑎𝑏) | 𝑛 > 0‬‬ ‫}𝑏 ‪∑ = {𝑎,‬‬

‫‪ NFA .4‬های زیر را به ‪ DFA‬تبدیل کنید‪.‬‬

‫‪∑ = {𝑎, 𝑏} .a‬‬

‫‪∑ = {𝑎, 𝑏} .b‬‬

‫‪2‬‬
 ‫}‪∑ = {0, 1, 2‬‬ ‫‪.c‬‬

‫‪ .5‬برای زبانی که شامل اعداد بزرگتر مساوی با ‪ 321‬باشند‪ ،‬یک ‪ DFA‬رسم کنید‪.‬‬

‫}‪∑ = {1, 2, 3, 4, 5, 6, 7, 8, 9‬‬

‫‪*( .6‬امتیازی)‬

‫‪ .a‬زبانی شامل رشته‌هایی به طول حداقل یک که هیچ دو حرف یکسان پشت سر هم نیامده‌اند را در نظر‬
‫بگیرید‪ ،‬برای زبان ‪ DFA‬با حداکثر ‪ 4‬استیت رسم کنید‪.‬‬

‫‪ .b‬زبانی شامل رشته هایی که شامل ‪ 01‬و یا ‪ 10‬باشند را در نظر بگیرید‪ ،‬برای این زبان ‪ DFA‬رسم‬
‫کنید‪ (.‬با حداکثر ‪ 4‬استیت)‬

‫‪3‬‬