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

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

17 algorithms  turing-machines  computability  computation-models 

এখানে অনেকগুলি (এবং আমার অর্থ অনেকগুলি) গণনাযোগ্য ভাষা রয়েছে যা টুরিং-ডিসিডেবল। কোনও অগণিত ভাষা কি ট্যুরিংয়ের সিদ্ধান্ত গ্রহণযোগ্য হতে পারে?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

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

17 computability  reference-request  turing-machines  halting-problem 

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

16 computability  turing-machines  undecidability  computation-models 

এই প্রশ্নে আমরা কেবলমাত্র ট্যুরিং মেশিনই বিবেচনা করি যা সমস্ত ইনপুটগুলিতে থামে। যদি k∈Nk∈Nk \in \mathbb{N} তবে দ্বারা TkTkT_kআমরা টুরিং মেশিনকে বোঝাই যার কোড ।kkk নিম্নলিখিত ফাংশন বিবেচনা করুন s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k \mid |L(T_k) \cap \{x,y\}| = 1\} অন্য কথায়, হ'ল ক্ষুদ্রতম টিউরিং মেশিনের কোড যা একটির স্ট্রিংকে যথাযথভাবে স্বীকৃতি …

16 computability  turing-machines 

যাক fff একটি নির্দিষ্ট সময় constructable ফাংশন হবে। টিএমএস (হেনি এবং স্টার্নস, 1966) এর ক্লাসিকাল সার্বজনীন সিমুলেশন ফলাফল বলে যে এখানে একটি দুটি-টেপ টিএম UUU রয়েছে যা দেওয়া হয়েছে একটি টিএম এর বর্ণনা , এবং⟨M⟩⟨M⟩\langle M \rangle একটি ইনপুট স্ট্রিং ,xxx জন্য রান পদক্ষেপ এবং আয় এম 's এ উত্তর …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

নোট করুন এটি একটি বিশ্ববিদ্যালয়ের সিএস কোর্সে অধ্যয়নের সাথে সম্পর্কিত একটি প্রশ্ন, এটি হোম ওয়ার্ক নয় এবং এটি ফল 2011 সালের পতনের অধীনে পাওয়া যাবে । একটি অতীত পরীক্ষা থেকে আমি যে দুটি প্রশ্ন দেখছি তা এখানে। তারা সম্পর্কিত বলে মনে হচ্ছে, প্রথম: দিন FINITECFG={<G>∣G is a Context Free Grammar …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

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

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

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

15 algorithms  turing-machines  combinatorics 

বর্তমান দাবা অ্যালগরিদম খেলোয়াড়ের পদক্ষেপ এবং প্রতিপক্ষের গতিবিধির উপর নির্ভর করে সম্ভাব্য পাথের গাছের কাছাকাছি প্রায় 1 বা 2 স্তরে চলে যায়। আসুন আমরা বলি যে আমাদের কাছে একটি অ্যালগোরিদম বিকাশের জন্য কম্পিউটিং শক্তি রয়েছে যা দাবা খেলায় প্রতিপক্ষের সমস্ত সম্ভাব্য গতিবিধি সম্পর্কে ভবিষ্যদ্বাণী করে। একটি অ্যালগরিদম যাতে সমস্ত সম্ভাব্য …

15 algorithms  turing-machines 

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

15 computability  turing-machines  history 

আমি জানি যে ন্যানড গেটগুলি প্রতিটি সত্যের টেবিল প্রয়োগ করে এমন সার্কিট তৈরি করতে ব্যবহার করা যেতে পারে, এবং আধুনিক কম্পিউটারগুলি ন্যানড গেটগুলি তৈরি করে। ন্যান্ড গেট এবং টুরিং সম্পূর্ণতার মধ্যে তাত্ত্বিক লিঙ্কটি কী? আমার কাছে মনে হয় যে ন্যানডের গেট সার্কিটগুলি টুরিং মেশিনের চেয়ে সসীম অটোমেটার কাছাকাছি। আমার অন্তর্নিহিততা …

14 turing-machines  turing-completeness  digital-circuits 

আমি সমাধান করার চেষ্টা করছি একটি পুরানো পরীক্ষা থেকে এই প্রশ্নগুলি আছে। প্রতিটি সমস্যার জন্য, ইনপুটটি কিছু টুরিং মেশিন এনকোডিং ।MMM পূর্ণসংখ্যা এবং নিম্নলিখিত তিনটি সমস্যার জন্য:c>1c>1c>1 এটা কি সত্য জন্য প্রতি ইনপুট যে , এম পাস না অবস্থান যখন চলমান ?xxx|x|+c|x|+c|x|+cxxx এটা কি সত্য যে জন্য যে ইনপুট , …

14 computability  turing-machines  undecidability 

অনেকগুলি "বিখ্যাত" অনস্বীকার্য সমস্যা তবুও কমপক্ষে সেমিডেসিডেবল, তাদের পরিপূরকগুলি অনিবার্য হয়ে ওঠে। সর্বোপরি একটি উদাহরণ হোল্ডিং সমস্যা এবং এর পরিপূরক হতে পারে। তবে, কেউ কি আমাকে এমন উদাহরণ দিতে পারবেন যাতে সমস্যা এবং এর পরিপূরক উভয়ই অনস্বীকার্য এবং সেমিডেসিডেবল নয়? আমি তির্যক ভাষা এলডি সম্পর্কে ভেবেছিলাম, তবে পরিপূরকটি অনির্বাচিত বলে …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

আমি স্বীকৃত ভাষাগুলির অস্তিত্ব বুঝতে চেষ্টা করছি understand এটি পেতে, আমাকে জানতে হবে কেন একটি ট্যুরিং মেশিন একাধিক নয়, কেবল একটি ভাষা স্বীকৃতি দেয়। কেন?

13 turing-machines  computation-models