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

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

16 computability  turing-machines 

খাঁটি বিমূর্ত গণিত / গণনামূলক যুক্তির দৃষ্টিকোণ থেকে, (3) কীভাবে কেউ 3-স্যাট, সাবসেট সম, ট্র্যাভেলিং সেলসম্যান ইত্যাদি সমস্যাগুলি আবিষ্কার করতে বা যুক্ত করতে পারে? আমরা কি কেবল কার্যকরী দৃষ্টিকোণ দিয়ে তাদেরকে অর্থবহ উপায়ে যুক্ত করতে সক্ষম হব ? এটা কি সম্ভব হবে? আমি গণনার ল্যাম্বদা ক্যালকুলাস মডেল শিখার অংশ হিসাবে …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

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

15 cc.complexity-theory  computability  turing-machines 

এই প্রশ্নের সাথে আমার অবাক হওয়ার বিষয়টি ঘটেছিল: একক-টেপ সিঙ্গল-হেড টুরিং মেশিনটির ইনপুটটির দৈর্ঘ্য গণনা করার জন্য সময় জটিলতা কী? সুনির্দিষ্টভাবে বলতে গেলে, ধরা যাক যে টেপ বর্ণমালাটি , ইনপুটটি ফাঁকা দ্বারা পরিবেষ্টিত in এ একটি স্ট্রিং হয় , মেশিনটি বামেতম ইনপুট প্রতীক থেকে শুরু হয় এবং এটি অবশ্যই আবশ্যক …

13 turing-machines 

একটি প্রমাণ আছে যে একটি অসতর্কতাযুক্ত ট্যুরিং মেশিনে একটি টুরিং মেশিনের less চেয়ে কম ক্ষেত্রে করা যায় না যেখানে টুরিং মেশিনটি যে পদক্ষেপগুলি ব্যবহার করে তার সংখ্যা ? না এটি কি কেবল একটি উপরের গণ্ডি?ও ( এম লগমি )O(mlog⁡m)\mathcal{O}\left(m\log m\right)মিmm পল বিতানির প্রবন্ধে আপেক্ষিক বিস্মৃত টুরিং মেশিন সম্পর্কে, ভিটেনি দাবি …

13 cc.complexity-theory  turing-machines 

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

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

এমন কি কোনও ট্যুরিং মেশিন রয়েছে যা সিদ্ধান্ত নিতে পারে যে প্রায় সমস্ত অন্যান্য ট্যুরিং মেশিন বন্ধ রয়েছে কিনা ? N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot \| f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether Mn halts}‖.f(i) = \|\{n: M_i \text{ can't decide whether }M_n \text{ halts} \}\|. কি ন্যূনতম মান …

12 turing-machines  halting-problem 

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

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

সময়ের শ্রেণিবিন্যাসের উপপাদ্যটিতে বলা হয়েছে যে ট্যুরিং মেশিনগুলি আরও বেশি সময় (পর্যাপ্ত) সময় পেলে আরও সমস্যার সমাধান করতে পারে। স্থানটি যদি অ্যাসিপোটোটিকভাবে সীমাবদ্ধ থাকে তবে এটি কোনওভাবে ধারণ করে? কেমন করে DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) সঙ্গে সম্পর্কযুক্ত DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) যদি fgfg\frac{f}{g} যথেষ্ট দ্রুত বৃদ্ধি পায়? আমি বিশেষত s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

আমি যথেষ্ট নিশ্চিত যে আমি যে ধারণাটি উপস্থাপন করতে যাচ্ছি তার বিনোদন দেওয়ার ক্ষেত্রে আমি প্রথম নই। তবে, ধারণাটি সম্পর্কিত কোনও সাহিত্যের সন্ধান পেলে এটি সহায়ক হবে। এই সম্পত্তিটি দিয়ে একটি ট্যুরিং মেশিন এম তৈরির ধারণাটি হল যদি পি = এনপি হয় তবে এম বহুবর্ষীয় সময়ে 3-স্যাট সমাধান করবে। (3-স্যাটের …

12 reference-request  turing-machines  p-vs-np 

নির্ধারণ প্রত্যেক বর্গ করে একটি (multitape) দ্বারা গ্রহণ করা যেতে পারে হিসাবে টাইম মেশিন টুরিং চ ( এন ) + + 1 । (" + 1 " কেবল স্বীকৃতি সহজ করার জন্য এবং বিভ্রান্তি এড়াতে)) লক্ষ্য করুন যে চ ( এন ) + 1 এর আশেপাশে কোনও ও ( ⋅ …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

সম্পর্কিত প্রশ্ন পড়ার পরে অ্যালগরিদমের অ-গঠনমূলক অস্তিত্বের প্রমাণ সম্পর্কে আমি ভাবছিলাম যে আসলে এটি তৈরি না করে "ছোট" (বলুন, রাজ্য-ভিত্তিক) গণনা মেশিনগুলির অস্তিত্ব দেখানোর পদ্ধতি আছে কি না? আনুষ্ঠানিকভাবে: অনুমান করা আমরা কিছু ভাষা দেওয়া হয় এবং কিছু গণনার মডেল (NFAs / টুরিং মেশিন / ইত্যাদি) সমাধান করুন।এল ⊆ Σ*L⊆Σ∗L\subseteq …

11 cc.complexity-theory  automata-theory  turing-machines 

আমি একটি ছোট্ট ভাষা খুঁজছি যা শিক্ষার্থীদের 'বোঝাতে' সহায়তা করে যে টুরিং মেশিনগুলি যথেষ্ট সাধারণ কম্পিউটিং মডেল। এটি হ'ল এমন একটি ভাষা যা তাদের ব্যবহার করা ভাষাগুলির মতো দেখায় তবে একটি টুরিং মেশিনে অনুকরণ করা সহজ। এই কাজের জন্য প্যাপাডিমিট্রিও র‌্যাম মেশিন ব্যবহার করে তবে আমি আশঙ্কা করি যে অদ্ভুত …

11 turing-machines 

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

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

রবিন গাণ্ডি অ্যালান টুরিংয়ের ছাত্র ছিলেন । গ্যাণ্ডি ব্যাবেজের অ্যানালিটিক্যাল ইঞ্জিন বিশ্লেষণ করেছেন (দেখুন 'গ্যান্ডি - ১৯৩36 সালে আইডিয়াসের মিশ্রণ' 'হেরকেন, রল্ফ - দ্য ইউনিভার্সাল ট্যুরিং মেশিন Hal একটি অর্ধ-শতাব্দী জরিপ । স্প্রঞ্জার ভার্লাগ') -তে উদ্ধৃত হয়েছে এবং বলেছে যে এটি (সিএফ। পৃষ্ঠা 52-55): পাটিগণিত ফাংশন +, -, ×, যেখানে …

10 turing-machines  universal-computation  charles-babbage