প্রশ্ন ট্যাগ «turing-machines»

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

49 computability  lambda-calculus  turing-machines 

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

48 computability  lambda-calculus  turing-machines 

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

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

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

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

ক্যান যে ফাংশন ঐ সময়ের মধ্যে গণনীয় হয় T একটি একক টেপ মেশিন টুরিং আকারের বর্ণমালা ব্যবহার করে ট = হে ( 1 ) সময় নির্ণিত করা হে ( T ) উপর একটি একক টেপ টুরিং মেশিন আকারের বর্ণমালা ব্যবহার 3 (বলুন, 0 , 1 , এবং ফাঁকা)?চ: { 0 …

40 computability  turing-machines 

"সত্যিকারের এলোমেলো" সংখ্যার জেনারেশন টিউরিং গণনাযোগ্য কিনা সে সম্পর্কে আমি একটি সুনির্দিষ্ট উত্তর চাইছি। আমি ঠিক কিভাবে এই শব্দগুচ্ছ করতে জানি না। "এলোমেলো সংখ্যা জেনারেশনের জন্য দক্ষ অ্যালগরিদম" সম্পর্কিত এই স্ট্যাক এক্সচেঞ্জ প্রশ্নটি আমার প্রশ্নের উত্তর দেওয়ার কাছাকাছি আসে। চার্লস স্টুয়ার্ট তার উত্তরে বলেছিলেন, "এটি [মার্টিন-ল্যাফ এলোমেলো] কোনও মেশিন দ্বারা …

39 reference-request  computability  turing-machines  randomness 

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

38 computability  turing-machines  machine-models  church-turing-thesis 

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

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

যদি কেউ ট্যুরিং মেশিনগুলিকে একটি সীমাবদ্ধ টেপ (যেমন সীমিত স্পেস ব্যবহার করতে ) সীমাবদ্ধ করে , তবে থামার সমস্যাটি মূলত কারণ বেশ কয়েকটি পদক্ষেপের পরে (যা রাষ্ট্র, এবং সংখ্যা থেকে গণনা করা যেতে পারে) এবং বর্ণমালা আকার), একটি কনফিগারেশন পুনরাবৃত্তি করা আবশ্যক।এসSSএসপ্রশ্নঃQQএসSS অন্যান্য প্রাকৃতিক ট্যুরিং মেশিনের বিধিনিষেধগুলি কি থেমে যাওয়ার …

33 turing-machines  decidability 

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

31 computability  turing-machines  universal-computation 

সত্যিকারের এলোমেলো বিটগুলির একটি অসীম প্রবাহ দেওয়া একটি কম্পিউটার ছাড়া একটি কম্পিউটারের চেয়ে আরও শক্তিশালী। প্রশ্নটি হ'ল: থামার সমস্যাটি সমাধান করার পক্ষে এটি কি যথেষ্ট শক্তিশালী? অর্থাৎ সম্ভাব্য কম্পিউটার থাকুক বা না থাকুক একটি নির্ধারণ করতে পারেন নির্ণায়ক প্রোগ্রাম স্থগিত? একটি সম্ভাবনাময় কম্পিউটারের একটি ডিস্ট্রিমেন্টিক এমন কিছু করার উদাহরণ যা: …

29 computability  randomness  turing-machines 

আমরা জানি যে (দেখুন, উদাহরণস্বরূপ, [1] এর 1 এবং 3 এর উপপাদ্য), মোটামুটিভাবে উপযুক্ত অবস্থার অধীনে, বহু কার্যকালে টুরিং মেশিন দ্বারা দক্ষতার সাথে গণনা করা যেতে পারে এমন ফাংশনগুলি ("দক্ষতার সাথে গণনাযোগ্য") বহুবর্ষীয় নিউরাল নেটওয়ার্ক দ্বারা প্রকাশ করা যেতে পারে যুক্তিসঙ্গত আকারের সাথে, এবং সুতরাং কোনও ইনপুট বিতরণের অধীনে বহুপদী …

28 cc.complexity-theory  np-hardness  machine-learning  turing-machines  lg.learning 

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

28 computability  turing-machines  haskell 

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

28 lo.logic  turing-machines  software  proof-assistants  automated-theorem-proving 

আমরা যদি বইটি (বা যদি আপনি পছন্দ করেন তবে ভাষার স্পেসিফিকেশনের অন্য কোনও সংস্করণ) দিয়ে যাই , একটি সি বাস্তবায়নের কতটা গণনার শক্তি থাকতে পারে? নোট করুন যে "সি বাস্তবায়ন" এর একটি প্রযুক্তিগত অর্থ রয়েছে: এটি সি প্রোগ্রামিং ভাষার স্পেসিফিকেশনের একটি নির্দিষ্ট ইনস্ট্যান্টেশন যেখানে বাস্তবায়ন-সংজ্ঞায়িত আচরণ নথিভুক্ত করা হয়। এসি …

28 computability  turing-machines  pl.programming-languages  recreational