Book:
Introduction to Language and Theory of Computaion
Author:
John Martin
Edition:
4th
#computation_theory
#finit_Automata_and_language

یک سوال زیبا و آموزنده
Book:
Introduction to Language and Theory of Computaion
Author:
John Martin
Edition:
4th
#computation_theory
#finit_Automata_and_language

من همچین جوابی دادم ،
اگر در حالت نهایی زبان L یک تابع گذر مثلا به حالت تله یا trap با همه‌ی الفبای داشته باشیم ، حالا اگر بیاییم به حالت نهایی تابع گذر *a را بذاریم آنگاه زبان L تغیر میکنه .

دوستان اگر میتونن این جواب رو درست یا غلط بودنشون رو بگن ممنون میشم

سلام دوستان ،
خسته نباشید امیدوارم کنکورتون رو خوب داده باشید .
این کانال رو تصمیم ندارم ول کنم ، بزودی سوالات جدیدی رو داخل کانال میزارم با این تفاوت که این دفعه احتمالا به بعضی از سوالات هم پاسخ میدم .
سوالاتی که قرار میگیره یک تفاوت کوچکی میکنه اونم اینکه ، علاوه بر سوالات کتب اصلی دروس سوالات کنکور یا سوالات آموزشگاهایی که کنکور تدریس میکنن هم میزارم .

چیزی که من متوجه شدم اینکه که اگر از مغزت کار نکشی تنبل و بدرد نخور میشه ، پس دوستانی که کنکور دادید بعد پایان ایام استراحت حتما شروع کنید و یک فعالیت جدید و یک هدف جدید برای خودتون جفت و جور کنید

۱. زبان " ماشین های متناهی قطعی یک زبان منظم " منظم است یا نامنظم ؟
۲. زبان عبارات منظم یک زبان منظم روی الفبای دونمادی مستقل از متن است یا منظم ؟
#computation_theory
#finite_automata_and_language

۱. منظم است
۲. مستقل از متن است
------------------------------
۱. سؤال عجیبه و هر کسی باهاش مواجه نشده .
درک بهتر سوال :
فرض کنید یک زبان داده اند و گفتند که منظم است حال می‌گویند برای آن همه DFA را بکش می‌دانیم که تعداد آنها نامتناهی است ‌. حالا سوال یک می‌گوید فرض کن این DFA ها را به عنوان یک زبان به تو داده اند حال ثابت کن که این نیز منظم است ؟!
تنها چیزی که باید بلد باشید بحث کدینگ و map کردن است که یکی از سر فصل های ماشین های تورینگ است .
تنها کاری که باید کرد این است که سعی کنید ماشین های DFA زبان را کد کنید و سپس MAP کنید به یک الفبای مثلا دوتایی مثل ۰،۱ بعد این رشته ها می‌شوند رشتهای زبان که هر کدام معرف یک DFA از آن زبان هستند سپس این رشته کد هارا تبدیل کنید یا MAP کنید به یک الگو باینری مثلا کد های گری سپس برای زبان بدست آمده می‌توان یک DFA کشید .
* اگر کسی تونست ثابت کنه نامنظم است به آیدی من داخل بیو کانال بگه حتما *

سوال دو هم سوال عجیبیه است :
میگه فرض کن برای زبان های منظم روی الفبای دو نمادی عبارت منظم نوشتی حالا فرض کن این عبارات منظم را به عنوان یک زبان به تو داده اند حال زبان این ها چیست ؟
مستقل از متن است چون گرامر مستقل از متن دارد و منظم ندارد .