سوال ۵۰ کنکور ارشد مهندسی کامپیوتر ۱۴۰۴
اهمیت
۰/۵
کدام یک از مسائل زیر، در مورد یک اتوماتون پشتهای غیرقطعی (NPDA) دلخواه بهنام M، تصمیمپذیر (decidable) است؟
پاسخ صحیح: گزینهٔ C — زبان اتوماتون M، دارای بینهایت رشته است.
پاسخ تشریحی
An NPDA recognizes exactly the context-free languages (CFLs), so each option is a decision problem about a CFL . …
ادامهٔ پاسخ تشریحی ویژهٔ مشترکان است.
مشاهدهٔ پاسخ کامل#decidability#context-free-language#npda#infiniteness#undecidable