টুরিং সম্পূর্ণ কী?


486

"টুরিং কমপ্লিট" এর অভিব্যক্তিটির অর্থ কী?

খুব বেশি তাত্ত্বিক বিবরণ না নিয়ে আপনি কি একটি সহজ ব্যাখ্যা দিতে পারেন?


2
এই খুব ভাল প্রশ্নে কিছু খুব সুন্দর লিঙ্ক ।
Lazer

উত্তর:


323

এখানে সংক্ষিপ্ত ব্যাখ্যা:

টুরিং কমপ্লিট সিস্টেম বলতে বোঝায় এমন একটি সিস্টেম যার মধ্যে একটি প্রোগ্রাম লেখা যেতে পারে যা একটি উত্তর খুঁজে পাবে (যদিও রানটাইম বা স্মৃতি সম্পর্কিত কোনও গ্যারান্টি ছাড়াই)।

সুতরাং, যদি কেউ বলেন "আমার নতুন জিনিসটি টুরিং কমপ্লিট" যার অর্থ নীতিগতভাবে (যদিও প্রায়শই অনুশীলনে না হয়) এটি কোনও গণনার সমস্যা সমাধানের জন্য ব্যবহার করা যেতে পারে।

কিছুটা সময় এটি রসিকতা ... একজন লোক vi এ ট্যুরিং মেশিন সিমুলেটর লিখেছিলেন, সুতরাং এটি বলা যেতে পারে যে পৃথিবীতে ভি সম্ভবত একমাত্র কম্পিউটেশনাল ইঞ্জিন।


18
আরও পড়ার জন্য, অ্যানোটেটেড টুরিং দেখুন। খুব সহজলভ্য। amazon.com/Annotated-
Turing

43
"প্রায়শই অনুশীলনে না" ভুল। কোনও সিস্টেমই কখনও অনুশীলনে টুরিং-সম্পূর্ণ হয় না, কারণ উপলব্ধিযোগ্য কোনও সিস্টেমে অসীম টেপ থাকে না। আমাদের সত্যিকার অর্থে যা বোঝানো হচ্ছে তা হ'ল কিছু সিস্টেমে তাদের উপলব্ধ মেমরির সীমা অবধি আনুমানিক টুরিং-সম্পূর্ণতার ক্ষমতা রাখে।
শেলবি মুর III

22
তবে ভিআই হ'ল বিশ্বের একমাত্র কম্পিউটেশনাল ইঞ্জিন ... ;-)
জো এডগার

4
ইমাকসও কি টার্নিং মেশিন? এক্সডি
আলেম05

6
কেউ সম্প্রতি দেখিয়েছে যে পাওয়ারপয়েন্টটিও টুরিং সম্পূর্ণ।
ট্যাগক

192

এখানে সহজ ব্যাখ্যা

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

প্রোগ্রামিং ভাষা সেই মেশিনগুলির মতো (ভার্চুয়াল হলেও) similar তারা প্রোগ্রাম নেয় এবং এগুলি চালায়। এখন, একটি প্রোগ্রামিং ভাষাটিকে "টিউরিং সম্পূর্ণ" বলা হয়, যদি এটি কোনও প্রোগ্রাম চালাতে পারে (ভাষা নির্বিশেষে) যে একটি টুরিং মেশিন যথেষ্ট সময় এবং স্মৃতি দিয়ে চালাতে পারে।

উদাহরণস্বরূপ: ধরা যাক যে এমন একটি প্রোগ্রাম রয়েছে যা 10 নম্বর নেয় এবং সেগুলি যুক্ত করে। টুরিং মেশিন সহজেই এই প্রোগ্রামটি চালাতে পারে। তবে এখন কল্পনা করুন যে কোনও কারণে আপনার প্রোগ্রামিং ভাষা একই সংযোজন করতে পারে না। এটি এটিকে "টুরিং অসম্পূর্ণ" করে তুলবে (তাই কথা বলার জন্য)। অন্যদিকে, যদি এটি সর্বজনীন টুরিং মেশিন চালাতে পারে এমন কোনও প্রোগ্রাম চালাতে পারে, তবে এটি টুরিং সম্পূর্ণ।

বেশিরভাগ আধুনিক প্রোগ্রামিং ল্যাঙ্গুয়েজ (যেমন জাভা, জাভাস্ক্রিপ্ট, পার্ল ইত্যাদি) সমস্ত ট্যুরিং সম্পূর্ণ কারণ তারা প্রত্যেকে প্রোগ্রাম যোগ করার জন্য প্রয়োজনীয় সমস্ত বৈশিষ্ট্যগুলি যেমন গুন, যদি-অন্য শর্ত, রিটার্ন স্টেটমেন্ট, সংরক্ষণ / পুনরুদ্ধার / মুছার উপায়গুলি প্রয়োগ করে ডেটা এবং তাই।

আপডেট: আপনি আমার ব্লগ পোস্টে আরও শিখতে পারেন: "জাভাস্ক্রিপ্টটি নিরাময় সম্পূর্ণ" - ব্যাখ্যা করা হয়েছে ined


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

কিভাবে জাভাস্ক্রিপ্ট টুরিং সম্পূর্ণ হতে পারে? এতে ফাইল সিস্টেম, সঠিক মাল্টিথ্রেডিং এপিআই নেই। এটির প্রচুর সীমাবদ্ধতা রয়েছে, মূলত এটির ব্রাউজার সুরক্ষা স্যান্ডবক্স প্রকৃতির কারণে। একে 'প্রোগ্রামিং ল্যাঙ্গুয়েজ' বলা যায় না। স্ক্রিপ্টিং বিমূর্ততার কতগুলি রূপ বিদ্যমান তা দেখুন (প্রতিক্রিয়া, টাইপ স্ক্রিপ্ট .. এটির নাম দিন), যা জেএসের কাছে নেই তার ক্ষতিপূরণ দেওয়ার জন্য। (asm.js এখানে উল্লেখ করা উচিত)। জাভা, পাইথন বা সি ++ সত্য 'ট্যুরিং কমপ্লিট' উদাহরণ। তবে জেএস? আমি তাই মনে করি না.
মাইকেল চতুর্থ

2
@ মিশেলআইভি ট্যুরিং মেশিনের কোনও ফাইল সিস্টেম / থ্রেড নেই। জেএস একেবারে ভ্রমণ সম্পূর্ণ।
বেক্স

@ মিশেলআইভি বাক্সের প্রতিক্রিয়া যুক্ত করতে, আপনি আধুনিক কম্পিউটারটিকে বিভিন্ন টিউরিং মেশিনের সমন্বয়ে বিবেচনা করতে পারেন যা আপনি উল্লেখ করেছেন এমন দুর্দান্ত জিনিসগুলির জন্য একত্রে কাজ করে। যেমন সিপিইউ জিপিইউ পড়ার জন্য "টেপ" তৈরি করে যাতে এটি মনিটরের জন্য "টেপ" লিখতে পারে যাতে মনিটর ব্যবহারকারীকে "টেপ" লিখতে পারে। তেমনি, সিপিইউ হার্ড ড্রাইভ, এনআইসি, সাউন্ড কার্ড ইত্যাদির জন্য "টেপ" তৈরি করতে পারে

86

উইকিপিডিয়া থেকে :

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

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

"টিউরিংয়ের সম্পূর্ণ অর্থ 'যথেষ্ট সময় এবং স্থান প্রদত্ত গণনীয় সমস্যার জবাব দিতে সক্ষম" বলে এ ছাড়া আপনি কীভাবে আরও প্রযুক্তিগত হতে পারেন তা আমি জানি না।


4
এই প্রসঙ্গে, "কম্পিউটিং ডিভাইস" কী?
ডোপাত্রমন

30
বেশিরভাগ উইকিপিডিয়া নিবন্ধগুলির মতো, যদিও এই উক্তিটি প্রযুক্তিগতভাবে সঠিক, তবে এটি এমন ব্যক্তির কোনও মূল্য দেয় না যার বিষয়ে এই বিষয়ে জ্ঞান নেই এবং এটি বোঝার চেষ্টা করছেন। জিনিসগুলি যথাযথভাবে ব্যাখ্যা করতে সক্ষম হওয়া তার নিজস্ব একটি বিজ্ঞান :)
লাচো তোমভ

76

অনানুষ্ঠানিক সংজ্ঞা

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

যে জিনিসগুলি কোনও ভাষা টুরিং সম্পূর্ণ করতে পারে না

একজন টুরিং মেশিন কি এটা স্মরণে সূচিত উপর ভিত্তি করে সিদ্ধান্ত নিতে পারেন - 'ভাষা' যে শুধুমাত্র সমর্থন +, -, *, এবং /পূর্ণসংখ্যার উপর টুরিং সম্পূর্ণ নয় কারণ এটা তার ইনপুটের ভিত্তিতে একটি পছন্দ করতে পারবেন না, কিন্তু একটি টুরিং মেশিন পারেন।

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

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

একটি টিউরিং মেশিনের এলোমেলো অ্যাক্সেস মেমরি রয়েছে - এমন একটি ভাষা যা আপনাকে কেবল মেমরির মাধ্যমে কাজ করতে দেয় pushএবং popস্ট্যাকের জন্য অপারেশন সম্পূর্ণ হয় না। যদি আমি একটি 'ভাষা' যে একটি স্ট্রিং সার্চ আছে একবার এবং শুধুমাত্র ঠেলাঠেলি এবং একটি স্ট্যাক থেকে পপিং দ্বারা মেমরি ব্যবহার করতে পারেন, এটা আমাকে বলতে পারেন যে কিনা (স্ট্রিং নিজস্বতা আছে )পরে ঠেলাঠেলি যখন এটি সূচিত দ্বারা (এবং যখন দেখেন পপিং )। যাইহোক, এটি আমাকে বলতে পারে না যে প্রত্যেকের (নিজস্ব )নিজস্বতা আছে এবং পরে প্রত্যেকের [নিজস্ব নিজস্ব ]রয়েছে (দ্রষ্টব্য যে ([)]এই মানদণ্ডটি পূরণ করে তবে ([]]তা পূরণ করে না)। একটি টুরিং মেশিন এর র্যান্ডম অ্যাক্সেস মেমরিটি ট্র্যাক করার জন্য ()এবং ব্যবহার করতে পারে[]আলাদাভাবে, তবে কেবল স্ট্যাকের এই ভাষাটি পারে না।

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

সম্পূর্ণ ভাষা টুরিং এর উদাহরণ Ex

যদি আপনার ভাষায় অসীম এলোমেলো অ্যাক্সেস মেমরি, শর্তসাপেক্ষ বাস্তবায়ন এবং পুনরাবৃত্ত কার্যকরের কিছু ফর্ম থাকে তবে এটি সম্ভবত ট্যুরিং সম্পূর্ণ। আরও অনেক বিদেশী সিস্টেম রয়েছে যা এখনও টিউরিং মেশিন যা কিছু করতে পারে তা অর্জন করতে পারে, যা তাদের ট্যুরিংকেও সম্পূর্ণ করে তোলে:

  • অবিরত লাম্বদা ক্যালকুলাস
  • কনওয়ের জীবনের খেলা
  • সি ++ টেম্পলেট
  • Prolog

11
এসকিউএল নিশ্চিতভাবেই টুরিং-সম্পূর্ণ। এটিতে স্ক্রিপ্টিং ক্ষমতা রয়েছে যা কোনও গণনার অনুমতি দেয়।
nzifnab

53
না, আপনি এসকিউএলকে টি-এসকিউএল / পিএল-এসকিউএল এর মতো এক্সটেনশনের সাথে বিভ্রান্ত করছেন। এএনএসআই এসকিউএল টিউরিং-সম্পূর্ণ নয়। তবে টিএসকিউএল / পিএলএসকিউএল - হয়।
অগ্নিওস ভ্যাসিলিয়াসকাস

15
দৃশ্যত এসকিউএল টুরিং-সম্পূর্ণ হয়: stackoverflow.com/questions/900055/...
Newtang

2
টিউরিং সম্পূর্ণতা অনুসারে - সিস্টেমটি ট্যুরিং সম্পূর্ণ হয় যদি এটি কোনও একক-টেপযুক্ত টুরিং মেশিন অনুকরণ করতে ব্যবহার করা যায়। তবে উপরের উদাহরণ হিসাবে আমি বুঝতে পেরেছি ডিভস নির্দিষ্টভাবে নির্মিত cyclic tag systemএবং না universal cyclic tag system। সুতরাং - নিবন্ধটি এসকিউএল টুরিং সম্পূর্ণতা প্রমাণ করে না doesn't (বা আমি কিছু ভুল
বুঝেছি

2
এখানে কোনও অসীম টেপ নেই বলে একটি টুরিং-সম্পূর্ণ ভাষার বাস্তবায়নযোগ্য বাস্তবায়ন নেই। আমাদের সত্যিকারের অর্থ যা হ'ল কিছু ভাষায় হোস্ট মেশিনের উপলব্ধ মেমরির সীমাবদ্ধতা অবধি টুরিং-সম্পূর্ণতার দক্ষতা রয়েছে।
শেলবি মুর III

17

মূলত, টিউরিং-সম্পূর্ণতা একটি সংক্ষিপ্ত প্রয়োজনীয়তা, সীমাহীন পুনরাবৃত্তি।

স্মৃতিতেও আবদ্ধ নয়।

আমি এটি স্বাধীনভাবে চিন্তা করেছিলাম, তবে এখানে দৃ the়তা সম্পর্কে কিছু আলোচনা করব is আমার এলএসপির সংজ্ঞা আরও প্রসঙ্গ সরবরাহ করে।

এখানে অন্যান্য উত্তরগুলি সরাসরি টুরিং-সম্পূর্ণতার মৌলিক সংজ্ঞাটি দেয় না।


সীমাবদ্ধ রাষ্ট্র অটোম্যাটাকে সীমাহীন পুনরাবৃত্তি করার অনুমতি দেওয়া হয়। একটা উদাহরণ: a*

3
@ রাইময়েড এফএসএমগুলির সীমাবদ্ধ মেমরি রয়েছে - সীমিত # রাজ্যের) - তবে লেজ অপ্টিমাইজেশন ছাড়াই সীমাহীন পুনরাবৃত্তি অবশ্যই সীমাহীন মেমরির থাকতে পারে। আমি আমার সংজ্ঞাটি কেবল লেজ অপ্টিমাইজেশান দিয়ে সীমাহীন পুনরাবৃত্তির উপসেটে সীমাবদ্ধ করি নি। দয়া করে আপনার ডাউনটাতে সরান।
শেলবি মুর তৃতীয়

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

@ রাইময়েড গণনা হ'ল যথার্থতার বিরোধী উদাহরণস্বরূপ, একটি ইঞ্চির ভগ্নাংশের সর্বাধিক নির্ভুলতা গণনা করুন। আনবাউন্ডেড পুনরাবৃত্তি বলতে পুনরাবৃত্তির প্রতিটি সম্ভাব্য রূপকে বোঝায়, যা অসীম টেপ ছাড়া অসম্ভব। পুরোপুরি সাধারণীকরণের পুনরাবৃত্তি (কেবলমাত্র মডেলের মধ্যে সাধারণ নয়) সর্বদা টুরিং-সম্পূর্ণ is আমি সাধারণীকরণ পুনরাবৃত্তি এবং যে কোনও সম্ভাব্য গণনা সম্পাদনের দক্ষতার মধ্যে সমতা উল্লেখ করছি। এটি লক্ষ করার জন্য একটি গুরুত্বপূর্ণ সমতুল্য।
শেলবি মুর তৃতীয়

"আনবাউন্ডেড পুনরাবৃত্তি মানে পুনরাবৃত্তির প্রতিটি সম্ভাব্য রূপ" এটি আপনার পড়া। সবচেয়ে যাতে ব্যবহারকারীরা করতে, 'সীমাবদ্ধ পুনরাবৃত্তির' অর্থ while (p) { /* ... */ }। "আমি সাধারণীকরণ পুনরাবৃত্তি এবং যে কোনও সম্ভাব্য গণনা সম্পাদনের দক্ষতার মধ্যে সমতা উল্লেখ করছি।" চার্চের থিসিস একটি খুব আলাদা বিষয় এবং সত্যই আলাদাভাবে আলোচনা করা উচিত ।

13

টিউরিং সম্পূর্ণর অর্থ হল এটি ট্যুরিং মেশিনের মতো কমপক্ষে শক্তিশালী । এর অর্থ এমন কোনও কিছু যা ট্যুরিং মেশিন দ্বারা গুণ করা যায় কোনও ট্যুরিং কমপ্লিট সিস্টেম দ্বারা গুণ করা যায়।

টুরিং মেশিনের চেয়ে বেশি শক্তিশালী কোনও ব্যবস্থা এখনও কেউ খুঁজে পায়নি। সুতরাং, আপাতত, কোনও সিস্টেমকে ট্যুরিং কমপ্লিট বলা যেমন সিস্টেম বলা হয় তেমনি কোনও পরিচিত কম্পিউটারিং সিস্টেমের মতো শক্তিশালী (দেখুন চার্চ-টুরিং থিসিস )।


3
নোট করুন যে এই সমস্ত দেয়ালের সময়কে উপেক্ষা করে। এটি কেবল "এটি করা যেতে পারে" বলে।
থরবজর্ন রাভন অ্যান্ডারসন

@ থরবজর্নআরভানএন্ডারসন আসলে এটি শারীরিক সংযোগকে পুরোপুরি উপেক্ষা করে। এটি কেবল মহাবিশ্বের বয়সের চেয়ে বেশি সময় নিতে পারে না, তবে এটি মহাবিশ্বের সমস্ত ফার্মিয়ন এবং বোসনের সাহায্যে নির্মিত আরও স্মৃতি ব্যবহার করতে পারে।
ওয়েলন ফ্লিন

সেখানে সম্ভবত সম্ভাব্য বিসর্জন রয়েছে, মহাবিশ্বে বোসন এবং ফের্মিয়নের পরিমাণের সীমা নেই। আমরা জানি না, এবং সম্ভবত কখনই জানতে পারি না, এটির আকার। আপনি যখনই 'মহাবিশ্বে' X এর সংখ্যাটি পড়বেন, লোকেরা আসলে পর্যবেক্ষণযোগ্য মহাবিশ্বের কথা বলছে । আকর্ষণীয় হলেও এটি প্রকৃত শারীরিক সীমা নয়।
স্টিজন ডি উইট

9

সহজ কথায়, একটি টুরিং-সম্পূর্ণ সিস্টেম যে কোনও সম্ভাব্য গণ্য সমস্যা সমাধান করতে পারে।

মূল প্রয়োজনগুলির মধ্যে একটি হ'ল স্ক্র্যাচপ্যাডের আকারটি আনবাউন্ড করা উচিত এবং স্ক্র্যাচপ্যাডে প্রাইস রাইটগুলি অ্যাক্সেস করতে রিওয়াইন্ড করা সম্ভব।

সুতরাং বাস্তবে কোনও সিস্টেমই টুরিং-সম্পূর্ণ হয় না।

বরং কিছু সিস্টেম আনবাউন্ডেড মেমরির মডেলিং করে এবং সিস্টেমের মেমরির মধ্যে উপযুক্ত যে কোনও সম্ভাব্য গণনা সম্পাদন করে আনুমানিক টুরিং-সম্পূর্ণতা।


2

আমি মনে করি "ট্যুরিং কমপ্লিট" ধারণার গুরুত্বটি একটি কম্পিউটিং মেশিন (প্রয়োজনীয় কোনও যান্ত্রিক / বৈদ্যুতিন "কম্পিউটার" নয়) চিহ্নিত করার ক্ষমতাতে রয়েছে যার প্রক্রিয়াগুলি সহজ এবং সরল সমন্বয়ে গঠিত "সাধারণ" নির্দেশিকায় বিভক্ত করা যেতে পারে নির্দেশাবলী, যে একটি ইউনিভার্সাল মেশিন ব্যাখ্যা করতে পারে এবং তারপরে কার্যকর করতে পারে।

আমি দ্য অ্যানোটেটেড টুরিংয়ের সুপারিশ করছি

@ মার্ক আমি ভাবছি আপনি যা ব্যাখ্যা করছেন তা হ'ল ইউনিভার্সাল ট্যুরিং মেশিন এবং ট্যুরিং কমপ্লিটের বর্ণনার মধ্যে একটি মিশ্রণ।

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


2

আমি সহজ কথায় যা বুঝি:

টিউরিং সম্পূর্ণ: একটি প্রোগ্রামিং ভাষা / প্রোগ্রাম যা গণনা করতে পারে, এটি টুরিং সম্পূর্ণ।

উদাহরণ স্বরূপ :

  1. আপনি কি জাস্ট এইচটিএমএল ব্যবহার করে দুটি সংখ্যা যুক্ত করতে পারেন ? (উত্তর হ'ল ' না ', সংযোজন সম্পাদনের জন্য আপনাকে জাভাস্ক্রিপ্ট ব্যবহার করতে হবে)) সুতরাং, এইচটিএমএল টিউরিং সম্পূর্ণ নয়।

  2. জাভা, সি ++, পাইথন, জাভাস্ক্রিপ্ট, ইথেরিয়ামের জন্য সলিডিসিটি ইত্যাদি টিউরিং সম্পূর্ণ হয় কারণ আপনি এই ভাষা ব্যবহার করে দুটি সংখ্যা যুক্ত করার মতো গননা করতে পারেন।

আশাকরি এটা সাহায্য করবে.


0

এটি পরীক্ষা এবং শাখা করতে পারে তবে এটি সম্পূর্ণ (একটি 'যদি' রয়েছে)


1
যেমন একটি পুরানো প্রশ্নের জন্য, এটি অন্যদের ইতিমধ্যে অনুরূপ বা আরও
ইতিবাচক

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

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

0

একটি ট্যুরিং মেশিনের প্রয়োজন যে কোনও প্রোগ্রাম শর্ত পরীক্ষা করতে পারে। এটা মৌলিক।

প্লেয়ার পিয়ানো রোলটি বিবেচনা করুন। প্লেয়ার পিয়ানো একটি অত্যন্ত জটিল সংগীত বাজতে পারে তবে সঙ্গীতে কোনও শর্তযুক্ত যুক্তি নেই। এটি টুরিং সম্পূর্ণ।

শর্তসাপেক্ষ যুক্তি হ'ল ট্যুরিং কমপ্লিট এমন কোনও মেশিনের শক্তি এবং বিপদ উভয়ই।

পিয়ানো রোলটি প্রতিবার থামার গ্যারান্টিযুক্ত। কোনও টিএম এর জন্য এরকম কোনও গ্যারান্টি নেই। একে বলা হয় “থামানো সমস্যা”।


-1

যেমন ওয়েলন ফ্লিন বলেছেন :

টিউরিং সম্পূর্ণর অর্থ হল এটি ট্যুরিং মেশিনের মতো কমপক্ষে শক্তিশালী।

আমি বিশ্বাস করি যে এটি ভুল, কোনও সিস্টেম টুরিং সম্পূর্ণ হয় যদি এটি টুরিং মেশিনের মতোই শক্তিশালী হয়, অর্থাৎ মেশিন দ্বারা করা প্রতিটি গণনা সিস্টেমের দ্বারা করা সম্ভব হয় তবে সিস্টেমের দ্বারা করা প্রতিটি গণনাও টুরিং মেশিনের মাধ্যমে করা সম্ভব ।


1
আমি মনে করি আপনি ধরে নিচ্ছেন যে চার্চ-টিউরিং থিসিসটি এই সিদ্ধান্তে পৌঁছানো সত্য true এটি এখনও প্রমাণিত হতে পারে। আপনি যে সম্পত্তিটির বর্ণনা দিচ্ছেন তাকে 'টুরিং সমতুল্য' বলা হয়।
ওয়েলন ফ্লিন

1
@ ওয়েলনফ্লিন না, তিনি ঠিক বলেছেন। "সম্পূর্ণতা" উভয়ের অর্থ এটি কোনও জিনিস হিসাবে কমপক্ষে শক্তিশালী তবে আরও শক্তিশালীও নয়। "এনপি-সম্পূর্ণ" এর সাথে তুলনা করুন।
ডেভিন জিনপিয়ের

3
@ ডেভিজন জিনপিয়ের আমি এখানে শিখা যুদ্ধ শুরু করতে চাই না তবে আমি প্রায় নিশ্চিত যে আপনি যে কম্পিউটিয়াল ক্লাসের বর্ণনা দিচ্ছেন তাকে "টিউরিং ইকুইভ্যালেন্ট" বলা হয়। টিউরিং কমপ্লিট যদিও এনপি-কমপ্লিটের সাথে একই রকম সম্পর্ক রাখে। এনপি-কমপ্লিট এনপি এর সমান এবং যদি কেবল পি = এনপি হয়। একইভাবে ট্যুরিং কমপ্লিট টিউরিং সমান সমান এবং যদি কেবল চার্চ-টুরিং থিসিসটি সঠিক হয়।
ওয়েলন ফ্লিন

@ ওয়েলন সূত্র? আমি যে কিছুই পড়ি তা এর সাথে একমত নয় (উদাঃ en.wikedia.org/wiki/Turing_completeness )
ডেভিন জিনপিয়ের

4
@ ডেভিনিজিনপিয়ের এটি আপনার লিঙ্কযুক্ত উইকিপিডিয়া নিবন্ধে এটি ঠিক বলেছেন। আনুষ্ঠানিক সংজ্ঞা বিভাগটির উদ্ধৃতি দিয়ে: "একটি কম্পিউটিংেশনাল সিস্টেম যা প্রতিটি টিউরিং-কম্পিউটেবল ফাংশন গণনা করতে পারে তাকে টুরিং সম্পূর্ণ বলা হয়", "একটি টিউরিং-সম্পূর্ণ সিস্টেমকে বলা হয় ট্যুরিং সমতুল্য যদি প্রতিটি ফাংশন এটি গুণতে পারে তবে এটিও ট্যুরিং গণনাযোগ্য"
ওয়েলন ফ্লিন

-2

বেশিরভাগ প্রোগ্রামারদের কাছে ব্যবহারিক ভাষার ভাষায়, টুরিং সম্পূর্ণতা সনাক্তকরণের স্বাভাবিক উপায়টি যদি ভাষা বিবৃতিগুলি (নির্দিষ্ট উপরের সীমাগুলির সাথে বিবৃতিগুলির জন্য পাস্কাল-শৈলীর বিপরীতে) থাকে তবে নেস্টেড আনবাউন্ডেড সিমুলেশনকে অনুমতি দেয় বা অনুমতি দেয়।


1
একজন একক সীমাবদ্ধ যখন একটি লুপ টুরিং মেশিন ভান যথেষ্ট।
মাস্টারেক্সিলো

-8

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

তবে সি ++ এটি করতে পারে এবং যে কোনও সমস্যা করতে পারে। এইভাবে হয়।


10
পয়েন্টগুলির মধ্যে সংক্ষিপ্ততম পথ গণনা করতে সক্ষম হওয়া টুরিং সম্পূর্ণরূপে সংজ্ঞা নয়। এটি কেবলমাত্র একটি উদাহরণের চেয়ে আরও অনেক কিছু রয়েছে।
ইভা

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