প্রশ্ন ট্যাগ «computability»

আমি বুঝতে পারি না যে প্রোগ্রামিং থামছে কিনা তা নির্ধারণের সম্ভাবনাটি খারিজ করার জন্য হ্যালটিং সমস্যাটি প্রায়শই কেন ব্যবহৃত হয়। উইকিপিডিয়া [নিবন্ধ] [1] সঠিকভাবে ব্যাখ্যা করেছে যে সসীম মেমরির সাথে একটি ডিস্ট্রিমেন্টিক মেশিন হয় পূর্ববর্তী অবস্থার পুনরায় থামবে বা পুনরাবৃত্তি করবে। আপনি কোনও অ্যালগরিদম ব্যবহার করতে পারেন যা সনাক্ত করে …

149 computability  halting-problem 

আমাদের নিম্নলিখিত অনুশীলন দেওয়া হয়েছিল। দিন f(n)={100n occurs in the decimal representation of πelsef(n)={10n occurs in the decimal representation of π0else\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 & \text{else}\end{cases} প্রমাণ করুন যে গণনাযোগ্য।fff এটা কিভাবে সম্ভব? যতদূর আমি …

130 computability  undecidability 

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

75 computability  logic  halting-problem  incompleteness 

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

60 computability  turing-machines  halting-problem  human-computing 

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

55 computability  programming-languages  turing-machines  turing-completeness 

হাই-অর্ডার প্যাটার্নের মিলটি একটি অনির্বাচিত সমস্যা। এর মানে হল যে কোন অ্যালগরিদম যে একটি সমীকরণ দেওয়া হয় a => b, যেখানে aএবং bকেবল টাইপ করা ল্যামডা ক্যালকুলাস খোলা পদ, একটি প্রতিকল্পন খুঁজে বের করে Sযেমন যে aS => bS, যেখানে =>"একই Bn স্বাভাবিক ফর্ম আছে" জন্য দাঁড়িয়েছে। তবুও, মানুষ সেই …

44 computability 

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

43 computability  proof-techniques  undecidability  reference-question 

আমি একটি দোভাষী লিখতে গিয়ে একটি অদ্ভুত সমস্যার মুখোমুখি হয়েছি যে (উচিত) বাহ্যিক প্রোগ্রাম / ফাংশনগুলিতে হুক করা উচিত: 'সি' এবং 'সি ++' এর ফাংশনগুলি ভেরিয়াদিক ফাংশনগুলিকে হুক করতে পারে না , যেমন আমি কোনও ফাংশন করতে পারি না যা 'প্রিন্টফ' বলে ঠিক একই আর্গুমেন্টগুলি এটি পেয়েছিল এবং এটির পরিবর্তে …

42 computability  programming-languages  turing-completeness 

আমি সমস্ত স্ট্যাক ওভারফ্লো দেখতে পেয়েছি, উদাহরণস্বরূপ, এখানে , এখানে , এখানে , এখানে , এখানে এবং কিছু অন্যান্য যা উল্লেখ করার দরকার নেই, "যে কোনও প্রোগ্রাম যা পুনরাবৃত্তি ব্যবহার করে কেবলমাত্র পুনরাবৃত্তি ব্যবহার করে কোনও প্রোগ্রামে রূপান্তরিত হতে পারে"। এমনকি একটি অত্যন্ত upvoted ছিল থ্রেড একটি অত্যন্ত সম্মত সঙ্গে …

42 computability  recursion  iteration 

ইন এই উত্তরটি এটা উল্লেখ করা হয় একটি নিয়মিত ভাষা একটি সসীম অটোমেটন দ্বারা স্বীকৃত হতে পারে। একটি প্রসঙ্গ-মুক্ত ভাষাতে একটি স্ট্যাকের প্রয়োজন হয়, এবং একটি প্রসঙ্গে সংবেদনশীল ভাষার জন্য দুটি স্ট্যাকের প্রয়োজন হয় (এটির জন্য এটির পুরো ট্যুরিং মেশিনের প্রয়োজন বলার সমতুল্য) । আমি উপরের সাহসী অংশটির সত্যতা সম্পর্কে …

41 computability  turing-machines  automata  pushdown-automata 

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

40 complexity-theory  computability  reductions  proof-techniques  reference-question 

আমি কাউকে বোঝানোর চেষ্টা করছিলাম যে সি টিউরিং-সম্পূর্ণ, এবং বুঝতে পেরেছিলাম যে আমি আসলে জানি না এটি আসলে প্রযুক্তিগতভাবে টুরিং-সম্পূর্ণ কিনা। (সি যেমন বিমূর্ত শব্দার্থবিজ্ঞানের মতো, প্রকৃত বাস্তবায়নের মতো নয়)) "সুস্পষ্ট" উত্তর (মোটামুটি: এটি মেমরির একটি স্বতঃস্ফূর্ত পরিমাণকে সম্বোধন করতে পারে, সুতরাং এটি একটি র‌্যাম মেশিন অনুকরণ করতে পারে, সুতরাং …

39 computability  turing-completeness  c 

এমন কোনও তাত্ত্বিক মেশিন রয়েছে যা কমপক্ষে কিছু ক্ষেত্রে ট্যুরিং মেশিনের সক্ষমতা ছাড়িয়ে যায়?

39 computability  turing-machines  hypercomputation 

সংক্ষিপ্তসার: রাইসের উপপাদ্য অনুসারে সবকিছু অসম্ভব। এবং তবুও, আমি মনে করি এটি অসম্ভব অসম্ভব জিনিসগুলি সর্বদা করি! অবশ্যই, রাইসের উপপাদ্যটি কেবল "সবকিছু অসম্ভব" বলে দেয় না। এটি বরং আরও নির্দিষ্ট কিছু বলে: "কম্পিউটার প্রোগ্রামের প্রতিটি সম্পত্তি অ-গণনাযোগ্য comp" (আপনি চুল, যে "অ-তুচ্ছ" সম্পত্তি। অর্থাৎ বৈশিষ্ট্য যা বিভক্ত করতে চান তাহলে …

37 terminology  computability  undecidability  rice-theorem 

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

35 computability  programming-languages  type-theory  dependent-types