এই প্রশ্নটি আছে যে কোনও পরিচিত বিপরীতমুখী টুরিং তরপিট রয়েছে কিনা, যেখানে অ্যাক্সেলসন এবং গ্লুকের অর্থে "বিপরীত" অর্থ এবং "টারপিট" অনেক বেশি অনানুষ্ঠানিক ধারণা (এবং শব্দের খুব ভাল পছন্দ নাও হতে পারে), তবে আমি এর অর্থ কী তা বোঝাতে আমি যথাসাধ্য চেষ্টা করব।
"টারপাইট" বলতে আমি কী বুঝি
কিছু গণনার মডেলগুলি কোনও উপায়ে কার্যকর হওয়ার জন্য ডিজাইন করা হয়েছে। অন্যেরা কেবল টিউরিং সম্পূর্ণ হতে পারে এবং সত্যিকারের কোনও কার্যকর বৈশিষ্ট্য নেই; এগুলি "ট্যুরিং ট্যারিপিটস" নামে পরিচিত। উদাহরণগুলির মধ্যে রয়েছে ব্রেনফাক ভাষা , নিয়ম ১১০ সেলুলার অটোমেটন এবং বিটওয়াইস সাইক্লিক ট্যাগ ভাষা (যা আমি পছন্দ করি কারণ এটি প্রয়োগ করা খুব সহজ এবং কোনও বাইনারি স্ট্রিং একটি বৈধ প্রোগ্রাম)।
"টিউরিং তরপিট" এর কোনও আনুষ্ঠানিক সংজ্ঞা নেই, তবে এই প্রশ্নের জন্য আমি এটি একটি মোটামুটি সহজ সিস্টেম হিসাবে বোঝাতে চাইছি ("সংখ্যক" বিধি "এর সংখ্যার সাথে বিবেচনার ক্ষেত্রে) যে" সবেমাত্র ঘটে "টুরিং সম্পূর্ণ হওয়া ছাড়া এর অভ্যন্তরীণ রাষ্ট্রটির কোনও স্পষ্ট অর্থকৃত অর্থ রয়েছে। আমার উদ্দেশ্যগুলির জন্য সর্বাধিক গুরুত্বপূর্ণ দিকটি সুস্পষ্ট শব্দার্থবিজ্ঞানের অভাবের চেয়ে নিয়মের সরলতা। মূলত আমরা সেই ধরণের জিনিসগুলির বিষয়ে কথা বলছি যা একবার স্টিফেন ওল্ফ্রাম খুব বড় একটি বই লিখেছিলেন , যদিও তিনি "টারপিট" শব্দটি ব্যবহার করেননি।
আমি "বিপরীতমুখী" বলতে যা বোঝায়
আমি বিপরীতমুখী গণনায় আগ্রহী। বিশেষত, আমি এক্সেলসন এবং গ্ল্যাকের অর্থে, টি-টুরিং সম্পূর্ণ, এমন ভাষাগুলিতে আগ্রহী , যার অর্থ তারা প্রতিটি সংখ্যামূলক ইনজেকশন ফাংশন গণনা করতে পারে এবং কেবল ইনজেকশন ফাংশনগুলি গণনা করতে পারে। এখন, গণনার অনেকগুলি মডেল রয়েছে যা এই অর্থে বিপরীতমুখী, যেমন অ্যাক্সেলসনের বিপরীতমুখী সর্বজনীন টুরিং মেশিন , বা উচ্চ-স্তরের বিপরীতমুখী ভাষা জেনাস । (সাহিত্যে আরও অনেক উদাহরণ রয়েছে; এটি গবেষণার একটি সক্রিয় ক্ষেত্র।)
এটি লক্ষ করা উচিত যে এক্স-টিউরিং সম্পূর্ণতার অ্যাক্সেলসন এবং গ্লুকের সংজ্ঞাটি বেনেটের কারণে স্বাভাবিক পদ্ধতির চেয়ে বিপরীত কম্পিউটারের আলাদা পদ্ধতির approach বেনেটের পদ্ধতির মধ্যে একটি সিস্টেমকে "আবর্জনা ডেটা" তৈরি করার অনুমতি দেওয়া হয় যা গণনার শেষে ফেলে দেওয়া হয়; এই ধরনের পরিস্থিতিতে একটি বিপরীত ব্যবস্থা টুরিং সম্পূর্ণ হতে পারে। তবে, অ্যাক্সেলসন এবং গ্লুকের পদ্ধতির ক্ষেত্রে, সিস্টেমটিকে এমন "জাঙ্ক ডেটা" তৈরি করতে দেওয়া হয় না, যা শ্রেণিটিকে এটি গণনা করতে পারে এমন সমস্যাগুলির সীমাবদ্ধ করে। (সুতরাং, "টিউরিং সম্পূর্ণ" না হয়ে "আর-টিউরিং সম্পূর্ণ"))
দ্রষ্টব্য: অ্যাকেলসন এবং গ্লুক পেপার পে-ওালের পিছনে রয়েছে। এটি দুর্ভাগ্যজনক - আমার জানা মতে আর-টিউরিং সম্পূর্ণতার বিষয়টিতে বর্তমানে কোনও অ-বেতনভিত্তিক সংস্থান নেই। আমি সময় পেলে একটি উইকিপিডিয়া পৃষ্ঠা শুরু করার চেষ্টা করব, তবে কোনও প্রতিশ্রুতি নেই।
আমি যা খুঁজছি
উল্লিখিত বিপরীতমুখী কম্পিউটিংয়ের উদাহরণগুলি সমস্তই "শব্দার্থভাবে বোঝা" are বেশিরভাগ প্রসঙ্গে এটি একটি ভাল জিনিস, তবে এর অর্থ হ'ল প্রতিটি সময় পদক্ষেপে তাদের রাজ্য আপডেট করার জন্য প্রয়োজনীয় নিয়মগুলি মোটামুটি জটিল। আমি বিপরীতমুখী কম্পিউটিংয়ের "তারপিকে" সন্ধান করছি। এটি হ'ল, কম-বেশি স্বেচ্ছাসেবী সিস্টেমগুলির সাথে বেশ সরল নিয়ম যা "সবেমাত্র ঘটে" সম্পূর্ণ ভাষাগুলির আর-টিউরিং হতে পারে। আমি পুনরুক্তি দিয়ে বলছি যে আমি যা খুঁজছি তার কোনও আনুষ্ঠানিক সংজ্ঞা নেই, তবে আমি যখন তা দেখবো তখন তা জানব এবং আমি মনে করি এটি সম্পর্কে জিজ্ঞাসা করা যুক্তিসঙ্গত জিনিস।
আমি জানি এমন অনেকগুলি বিষয় রয়েছে যা প্রায় বিলটির সাথে খাপ খায়। এখানে বেশ কয়েকটি বিপরীত সেলুলার অটোমেটা রয়েছে যা ট্যুরিং সম্পূর্ণ বলে দেখানো হয়েছে। ল্যাংটনের পিঁপড়া (একধরনের দ্বিমাত্রিক ট্যুরিং মেশিনে মোটামুটি স্বেচ্ছাসেবী এবং একদম সাধারণ রিভার্সিবল স্টেট ট্রানজিশন ফাংশন) এছাড়াও ট্যুরিং সম্পূর্ণ, যতক্ষণ না তার প্রাথমিক শর্তটি অসীম পুনরাবৃত্তি নিদর্শনগুলি ধারণ করার অনুমতি দেয়। যাইহোক, এই সিস্টেমগুলির সাথে তাদের রাজ্য থেকে কোনও "আউটপুট" ম্যাপিং এমনভাবে সংজ্ঞায়িত করা তুচ্ছ নয় যাতে কোনও জাঙ্ক ডেটা ফেলে দেওয়া না যায়। আমি বিশেষত এমন সিস্টেমে আগ্রহী যেগুলিকে একটি ইনপুট গ্রহণ করা, এটিতে (বিপরীতমুখী) রূপান্তরগুলির কিছু ক্রম সম্পাদন করা এবং তারপরে (যদি তারা সমাপ্ত হয়) কিছু আউটপুট ফেরত আসবে বলে মনে করা যেতে পারে।
(আমি আশা করছি লাম্বদা ক্যালকুলাসের বিপরীতে সমতুল্য সম্পর্কে আমার আগের সম্পর্কিত প্রশ্নের তুলনায় এই প্রশ্নের উত্তর দেওয়া আরও সহজ হবে ))