سلام
عبارت زیر در سوال ۵۳ کنکور ارشد مهندسی نرم افزار ۹۱ مطرح شده :
"هر زبان دلخواه بر الفبا Zigma شمارش پذیر است"
و این عبارت در پاسخنامه های مختلف صحیح قلمداد شده
همچنین میدونیم طبق قضیه ی ای اصلی : "برای هر الفبای غیر تهی Zigma زبان های وجود دارند که بازگشتی فهرست پذیر نیستند"
این دو عبارت با هم در تناقض نیستند ؟
(گزینه های تست هم طوری هستند که در صورت غلط بودن عبارت اول چندتا گزینه صحیح خواهیم داشت)
اولی که به وضوح غلطه اثباتشم با برهان خلف هست به راحتی، سوالی که دارم منظوری از صوری تو مورد ۴ چیه؟
(۱۵ اردیبهشت ۱۳۹۵ ۱۰:۵۷ ب.ظ)RinoOo نوشته شده توسط: اولی که به وضوح غلطه اثباتشم با برهان خلف هست به راحتی
پس با این اوصاف تست غلطه
(۱۵ اردیبهشت ۱۳۹۵ ۱۰:۵۷ ب.ظ)RinoOo نوشته شده توسط: سوالی که دارم منظوری از صوری تو مورد ۴ چیه؟
صوری منظور گرامر های سلسله مراتب Chomsky هست ، تا جایی که من میدونم