تالار گفتمان مانشت

نسخه‌ی کامل: برای تست برابر بودن دو زبان مستقل از متن الگوریتمی وجود دارد یا خیر؟
شما در حال مشاهده‌ی نسخه‌ی متنی این صفحه می‌باشید. مشاهده‌ی نسخه‌ی کامل با قالب بندی مناسب.
سلام

برای تست برابر بودن دو زبان مستقل از متن الگوریتمی وجود دارد یا خیر؟

مرسی
سلام.
مسائل تصمیم پذیر در مورد زبان های مستقل از متن سه تا می باشد.
1. تهی بودن یک زبان مستقل از متن تصمیم پذیر است.
2. متناهی بودن یک زبان مستقل از متن تصمیم پذیر است.
3. عضویت در زبان های مستقل از متن تصمیم پذیر است.


مساله برابری دو زبان مستقل از متن تصمیم پذیر نمی باشد.
لینک مرجع