সর্বজনীন পুনরাবৃত্তি ফাংশন রচনা [বন্ধ]


9

একটি সর্বজনীন পুনরাবৃত্তি ফাংশন একটি সংক্ষিপ্ত সুস্পষ্ট নির্মাণ আছে ? আমি যে সমস্ত সংজ্ঞাটি দেখেছি তাতে ট্যুরিং মেশিনগুলির সংখ্যার সাথে কোনওভাবে জড়িত রয়েছে, যা উচ্চতর স্তরের প্রোগ্রামিং ভাষায় (যেমন পাইথন, হাস্কেল ইত্যাদি) লেখা শক্ত এবং নিয়ন্ত্রণহীন বলে মনে হয়)


প্রশ্নটি মূলত এসও- তে জিজ্ঞাসা করা হয়েছিল , এখানে আরও প্রশংসিত মনে হয়।
sdcvvc

1
আমার বোধগম্যতা হল যে সর্বজনীন পুনরাবৃত্তি ফাংশনটি হ'ল হ'ল কিছু সংখ্যক পুনরাবৃত্তি ফাংশন (বা সমতুল্য টুরিং মেশিন) দেয় যাতে ফলাফলটি পুনরাবৃত্ত ফাংশনের সূচক এবং ইনপুট থেকে গণনা করা যায়। অতএব "ট্যুরিং মেশিন সংখ্যায়ন ছাড়াই সর্বজনীন পুনরাবৃত্তি ফাংশন" আমার কাছে প্রশংসনীয় মনে হয় না sound
Tsuyoshi Ito

3
গবেষণা স্তর নয়। টিউরিং-সম্পূর্ণ ভাষার জন্য যে কোনও অনুবাদক হ'ল সর্বজনীন পুনরাবৃত্তি ফাংশন।
ওয়ারেন শুডি

উত্তর:


1

কেমন হয় ম্যাকার্থি মূল পাতার মর্মর ব্যাখ্যাকারী (মূলত এখানে )? এটি সর্বজনীন, প্রাকৃতিক এনকোডিংয়ের (একটি লিস্প এএসটি) কাজ করে, কোনও বাহ্যিক দোভাষীর উপর নির্ভর করে না এবং প্রায় 20 লাইন।


13

অবশ্যই। রুটিনগুলি লিখুন যা গোডেলের প্রতিটি আদিম পুনরাবৃত্ত ফাংশন গণনা করে এবং আনবাউন্ডেড অনুসন্ধান অপারেটরের জন্য একটি রুটিন লিখুন। আপনি এই পদ্ধতিতে গুণন করতে পারেন সেগুলির ফাংশনগুলির সমতুল্য টুরিং মেশিনগুলি গণনা করতে পারে। আরও তথ্য এখানে

খারাপ দিকটি হ'ল আপনার সর্বজনীন প্রোগ্রামে যে কোনও ইনপুট সেই সাধারণ ক্রিয়াকলাপের ক্ষেত্রে ফ্রেম করা দরকার। অবশ্যই, এটি কি সংকলক জন্য হয়।


10

টিউরিং সম্পূর্ণ হ'ল যে কোনও ভাষার জন্য কোনও ব্যাখ্যাদাতা সর্বজনীন পুনরাবৃত্তি ফাংশন। সি ++ বা পাইথনের মতো উচ্চ-স্তরের ভাষার জন্য দোভাষী রয়েছে।

গডেল নাম্বারটি বিদ্যমান, তবে পুরোপুরি। উদাহরণস্বরূপ, সি ++ কোড কম্পিউটিং একটি recursive ফাংশন একটি সূচক ।gg


ট্যুরিং মেশিনের (বা রেজিস্টার মেশিনগুলি, বা পুনরাবৃত্ত ফাংশনগুলি) জন্য অনুবাদকও একটি সর্বজনীন পুনরাবৃত্ত ফাংশন, এবং এগুলি কার্যকর করা কঠিন নয়। আমি কয়েক বছর আগে এগুলিকে C ++ এ প্রয়োগ করেছি এবং আমি নিশ্চিত যে পাইথনে এটি আরও সরল হবে। গুগল ব্যবহার করুন, ইন্টারনেটে অনেকগুলি নিখরচায় সিমুলেটর রয়েছে এবং তাদের মধ্যে কিছুগুলি এমনকি মুক্ত-উত্সও।
কাভেহ

8

একটি সার্বজনীন ফাংশন uহ্যাস্কেল-জাতীয় ভাষায় (কোনও পার্শ্ব প্রতিক্রিয়া, উচ্চতর অর্ডার ফাংশন নয়) বেশ সহজেই লেখা যায়, যথা:

u f x = f x

ফাংশন uসার্বজনীন কারণ এটিকে স্বীকার করলে (এর বিবরণ) একটি প্রোগ্রাম fএবং একটি ইনপুট টেপ x, এবং আপনি চলমান ফলাফলের বলে fউপর x

যদিও এই উত্তরটি সম্পূর্ণ গুরুতর নয়, এটি দেখায় যে একটি কম্পাইলার বা হাসকল-জাতীয় ভাষার জন্য অনুবাদক ইতিমধ্যে একটি সার্বজনীন ফাংশনের জন্য প্রয়োজনীয় সমস্ত বিল্ডিং অংশ রয়েছে। গল্পটির নৈতিকতাটি হল টুরিং মেশিনের ক্ষেত্রে একটি সার্বজনীন ফাংশন বাস্তবায়নের বিষয়ে চিন্তা করার চেয়ে কম্পাইলার এবং দোভাষী কীভাবে কাজ করেন তা অধ্যয়ন করতে সময় ব্যয় করা ভাল।


যাইহোক, uএকটি ফাংশন নেয় - আমি এটিকে একটি উচ্চতর ক্রিয়াকলাপ বলব। আমি uএকটি পূর্ণসংখ্যা বা একটি নিয়মিত বীজগণিত ডেটাটাইপ নিতে চাই । আমি গণনার কোনও নির্দিষ্ট মডেলকে জোর করি না, যতক্ষণ না যুক্তিটি uস্পষ্ট হয় - উদাহরণস্বরূপ, এটি স্ট্রিং থেকে / স্ট্রিংয়ে সিরিয়াল করা যেতে পারে।
sdcvvc

একটি আসল মেশিনে (একবার কোড সংকলিত হয়ে গেলে) uএকটি ক্লোজার লাগে, যা বাইটের সীমাবদ্ধ ক্রম। এমনকি সাধারণ utm উপপাদ্যটিতে পূর্ণসংখ্যার ক্ষেত্রে uকোনও ফাংশনকে উপস্থাপন করে।
আন্দ্রেজ বাউয়ার

5

এছাড়াও চেক করুন এই কাগজ জন Tromp দ্বারা, সমন্নয়ের যুক্তিবিজ্ঞান ব্যবহার করে। পূর্বের লিখনআপ, আপাতদৃষ্টিতে আর উপলভ্য ছিল না, এমনকি আরও সুন্দর ছিল।

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.