প্রশ্ন ট্যাগ «universal-computation»

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

31 computability  turing-machines  universal-computation 

আমরা যদি ডিটিটাইমে হায়ারার্কি উপপাদ্যটি লক্ষ্য করি তবে একটি সর্বজনীন মেশিন দ্বারা একটি ডিস্ট্রিমেন্টিক ট্যুরিং মেশিনের সিমুলেশন ওভারহেডের কারণে আমরা একটি লগ পেয়েছি: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) DSPACE এর এনটিটাইমের জন্য আমাদের এই জাতীয় ওভারহেড নেই। সিমুলেটরগুলির মধ্যে পার্থক্য বিবেচনা করে প্রমাণের বিবরণ থেকে একটি প্রাথমিক ন্যায়সঙ্গততা আসে। আমার প্রশ্নটি …

30 cc.complexity-theory  universal-computation  time-hierarchy 

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

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

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

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

এটি কি ব্যাকরণ প্রোগ্রামগুলির একটি সংস্কার ? পূর্ববর্তী ভ্যাগ দ্বারা জিজ্ঞাসা করা হয়েছিল এবং মন্তব্যকারীদের অনেক পরামর্শ সহ। কোন ব্যাকরণকে গণনার মডেল নির্দিষ্ট করে দেখা যায়? উদাহরণস্বরূপ, যদি আমরা একটি সাধারণ প্রসঙ্গমুক্ত ব্যাকরণ গ্রহণ করি যেমন G ::= '1' -> '0' '+' '1' '1' -> '1' '+' '0' '2' -> …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

ল্যাম্বা ক্যালকুলাসে এই জাতীয় সংযোজক নির্দিষ্ট করার জন্য প্রয়োজনীয় বিমূর্ততা এবং অ্যাপ্লিকেশনগুলির সংখ্যা দ্বারা পরিমাপ করা আমি সর্বনিম্নতম সর্বজনীন সমন্বয়কারী সন্ধান করছি । সর্বজনীন সংযোজকগুলির উদাহরণগুলির মধ্যে রয়েছে: আকার 23: .f.f (fS (KKKI)) কে আকার 18: .f.f (fS (KK)) কে আকার 14: .f.fKSK আকার 12: .f.fS (λxyz.x) আকার 11: .f.fSK …

17 lo.logic  computability  lambda-calculus  universal-computation  combinatory-logic 

নন-ভন নিউমান প্রোগ্রামিং মডেলগুলির জন্য কি কোনও ব্যবহারিক অ্যাপ্লিকেশন রয়েছে? সর্বাধিক ব্যবহৃত নন-ভন নিউমন প্রোগ্রামিং ভাষা কোনটি?

16 universal-computation  logic-programming 

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

14 computability  universal-computation 

অ্যালগরিদমটি লেখার জন্য একটি পুরাতন কৌশল রয়েছে যে, যদি পি = এনপি হয় তবে বহুবর্ষীয় সময়ে স্যাট সমাধান করে। মূলত, তাদের মধ্যে সমস্ত বহু-কালীন মেশিন এবং বহু-কার্য তালিকাবদ্ধ করে। ওয়ান-ওয়ে ফাংশনগুলির জন্য (বা এমনকি একমুখী ট্র্যাপডোর ফাংশন) এর জন্য কী অভিন্ন কৌশল আছে? অর্থাৎ, আমরা কী এমন একটি ফাংশন লিখতে …

13 universal-computation  one-way-function 

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

10 turing-machines  universal-computation  charles-babbage 

বার্নস্টেইন এবং বাজিরানির আঞ্চলিক কাগজ "কোয়ান্টাম কমপ্লেক্সিটি থিওরি" তে তারা দেখায় যে একটি ডাইমেনশনাল ইউনিটরি ট্রান্সফর্মেশনকে তারা "নিকট-তুচ্ছ ঘূর্ণন" এবং "নিকট-তুচ্ছ পর্যায় স্থানান্তর" বলে যা যা বলে তার একটি পণ্য দ্বারা দক্ষতার সাথে সন্নিকট করা যেতে পারে।ঘdd "নিকট-তুচ্ছ ঘূর্ণন" হ'ল ডাইমেনশনাল ইউনিটারি ম্যাট্রিক্স যা 2 মাত্রা ব্যতীত সমস্ত হিসাবে পরিচয় …

10 quantum-computing  linear-algebra  universal-computation 

গণনামূলক সার্বজনীনতার বিভিন্ন (সম্ভবত অসমর্থিত) ধারণা রয়েছে (উদাহরণস্বরূপ দেখুন http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf এর শেষ দুটি পৃষ্ঠাগুলি ) এবং এর মধ্যে কোন noক্যমত্য নেই বিশেষজ্ঞরা যা সম্পর্কে ধারণাগুলি সবচেয়ে সঠিক (উদাহরণস্বরূপ http://cs.nyu.edu/pipermail/fom/2007- অক্টোবর/012148 . html দেখুন )। আমি বায়োমোলিকুলার গণনার একটি বিশেষ মডেল সম্পর্কে কিছু বলার চেষ্টা করছি। আমি যুক্তি দিতে চাই যে …

10 universal-computation 

আসুন আমরা টিউরিং-মেশিনগুলির একটি এনকোডিং এবং একটি সর্বজনীন টুরিং-মেশিন, ইউ, ঠিক করি যে ইনপুট (টি, এক্স) ইনপুট এক্স-তে যে ফলাফল আউটপুট দেয় (সম্ভবত উভয়ই চিরকাল চলমান) out সংক্ষিপ্ততম প্রোগ্রামের দৈর্ঘ্য হিসাবে পি, কে (এক্স) এর কোলমোগোরভ জটিলতা নির্ধারণ করুন, যেমন ইউ (পি) = x। এমন কোনও এন কি আছে যে …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines