زمان کنونی: ۱۰ فروردین ۱۴۰۳, ۰۱:۳۳ ب.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

تشخیص مستقل از متن یا منظم بودن چند زبان

ارسال:
  

Iranian Wizard پرسیده:

تشخیص مستقل از متن یا منظم بودن چند زبان

سلام. تو حل دو سه تا از تست ها گفته شده زبان های زیر مستقل از متن هستند ولی اسمی از منظم بودن یا نبودنشون نبرده.

[tex]L_1\: =\: \{w_1\: w_2\: :\: w_1\: \ne\: w_2^R\: \: ,\: \: w_1,\: w_2\: \in\: \{a,b\}^{\ast}\}[/tex]
این سوال که خودمم میدونم مستقل از متن هستش و تو مانشت هم در موردش بحث شده. ولی سوال من اینه آیا این زبان منظم هم هست؟
آخه بنظر من این زبان برابر [tex]\sum^ [/tex] هستش،پس منظم و مستقل از متن قطعی هستش. چون که میتونیم w1 رو لامبدا بذاریم،و w2 هم [tex]\sum^ [/tex] .
ولی اگه میگفت طول w1 و w2 هم مساویند که مطمئنا مستقل از متن و از نوع غیر قطعیش میشد!



[tex]L_2\: =\: \{w_1\: w_2\: :\: w_1\: ,\: w_2\: \in\: \{a,b\}^{\ast}\: \: ,\: \: \: |\: w_1|\: \ne|\: w_2\: |\}[/tex]
این سوال گفته شده مستقل از متن هستش.ولی منظم نیست.آیا این گفته درسته؟
آخه بنظرمن این زبان هم برابر [tex]\sum^ [/tex] هستش.پس منظم هم هست. اینم مثل سوال قبل کافیه که w1 رو لامبدا بذاریم،و w2 هم [tex]\sum^ [/tex] .



[tex]L_3\: =\: \{w_1\: w_2\: :\: w_1\: ,\: w_2\: \in\: \{a,b\}^{\ast}\: \: \: ,\: \: w_1\ne\: w_2\}[/tex]
این سوال که خیلی تو مانشت در موردش بحث شده و میدونم مستقل از متن هستش.ولی سوال من اینه آیا میشه گفت این زبان منظم هم هستش؟
آخه این زبان هم میشه مثل دو زبان قبل استدلال کرد و گفت که برابر [tex]\sum^ [/tex] هستش.
ولی باز تو کتاب نگفته منظمهHuh
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

fatemeh69 پاسخ داده:

RE: تشخیص مستقل از متن یا منظم بودن چند زبان

سلام بله هر سه با این شرایطی که شما نوشته اید منظمند


اما اگر در زبان اول و دوم شرط مساوی بودن طول رشته ها را اضافه کنید دیگر منظم نخواهند بود
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  کدام زبان برای هوش مصنوعی بهتر است؟ فرق بین زبان های هوش مصنوعی چیست؟ azam2075 ۳ ۵,۴۳۹ ۱۴ مهر ۱۴۰۰ ۰۷:۲۱ ب.ظ
آخرین ارسال: علیصا
  در نوشتن چند جمله انگلیسی نیاز به کمک دارم fa_karoon ۰ ۱,۴۲۳ ۰۳ شهریور ۱۴۰۰ ۰۱:۰۹ ب.ظ
آخرین ارسال: fa_karoon
  تشخیص گوگل مپس با Live View AR برای مکان دقیق elecomco ۱ ۳,۸۲۰ ۰۵ بهمن ۱۳۹۹ ۰۲:۴۹ ب.ظ
آخرین ارسال: kooshaideal1
  مدیریت سیستم چند پردازنده ای متقارن no_ta2000 ۰ ۱,۴۶۲ ۰۹ مهر ۱۳۹۹ ۰۲:۲۱ ب.ظ
آخرین ارسال: no_ta2000
  متن به هم ریخته در نرم افزار Notepad HAMID3F ۱۵ ۲۰,۹۶۴ ۱۷ شهریور ۱۳۹۹ ۰۸:۲۶ ق.ظ
آخرین ارسال: rezasedghi100
  صفحه چند سطحی Flash1 ۰ ۱,۵۶۷ ۱۰ تیر ۱۳۹۹ ۰۵:۵۸ ب.ظ
آخرین ارسال: Flash1
  اثبات بومی بودن sirvan.t ۸ ۵,۱۴۸ ۱۰ اسفند ۱۳۹۸ ۰۹:۴۶ ب.ظ
آخرین ارسال: WILL
  کمک برای چند تا سوالات شبکه کامپیوتری Hamedudk ۳ ۵,۶۷۶ ۲۷ آبان ۱۳۹۸ ۱۱:۴۲ ق.ظ
آخرین ارسال: khayyam
  هیتلر بودن یا نبودن marvelous ۲ ۲,۴۹۲ ۰۴ مهر ۱۳۹۸ ۰۱:۴۱ ق.ظ
آخرین ارسال: marvelous
  گرامر منظم Sanazzz ۶ ۶,۱۲۶ ۳۱ اردیبهشت ۱۳۹۸ ۰۴:۳۲ ب.ظ
آخرین ارسال: Sanazzz

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close