مسئله تناظر پست

مسئلهٔ تناظر پست (به انگلیسی: Post correspondence problem) یک مسالهٔ تصمیم‌ناپذیر بر روی رشته‌ها است که در سال ۱۹۴۶ میلادی به‌وسیلهٔ امیل پست معرفی و اثبات شد.[1] با نگاشت این مسئله بر روی مسائل تصمیم‌ناپذیر دیگر می‌توانیم تصمیم‌ناپذیری آن‌ها را نیز اثبات کنیم (مانند تصمیم‌ناپذیری ماشین‌های تورینگ).

علاوه بر این که یکی از دلایل اهمیت این مسئله اثبات دیگر مسائل تصمیم‌ناپذیر به‌وسیلهٔ آن است، می‌توان به این موضوع نیز اشاره نمود که درک و اثبات این مسئله بسیار ساده‌تر از دیگر مسائل تصمیم‌ناپذیر، مانند مسالهٔ توقف در ماشین تورینگ است.

تعریف مسئله

یک نمونه از مسألهٔ تناظر پست را این‌گونه تعریف می‌کنیم:[2]

هر نمونه از این مسئله شامل دو لیست از رشته‌هایی است که بر روی الفبای تعریف شده‌اند. فرض کنید این دو لیست و نام دارند که برای یک مقدار این‌گونه تعریف می‌شوند:

برای هر جفت را یک جفت تناظر می‌گویند.

جواب مسألهٔ تناظر پست را نیز این‌گونه تعریف می‌کنیم:

برای یک نمونه از مسئله جواب وجود دارد اگر دنباله‌ای از اعداد صحیح مانند ، ، … و وجود داشته باشد که شرط زیر را ارضاء کند:

پس به‌طور کلی مسألهٔ تناظر پست این‌گونه تعریف می‌شود:

«آیا برای یک نمونه از مسألهٔ تناظر پست جوابی وجود دارد یا خیر؟»

مثال

فرض کنید و دو لیست و را این‌گونه در نظر بگیرید:

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.