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

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

11 computability  terminology  decision-problem 

একটি সাম্প্রতিক পরীক্ষার প্রশ্ন নীচে গিয়েছিল: হ'ল অসীম পুনরাবৃত্তিযোগ্য গণনার সমষ্টি। প্রমাণ করুন যে এ এর একটি অসীম পুনরাবৃত্তির উপসেট রয়েছে।একজনAAএকজনAA যাক অসীম রিকার্সিভ উপসেট হতে একজন । আবশ্যক সি একটি উপসেট হয় আছে না যাও recursively গণনীয়?সিCCএকজনAAসিCC আমি ইতিমধ্যে উত্তর 1। ২. সম্পর্কে, আমি সুনির্দিষ্টভাবে উত্তর দিয়েছি এবং নীচে …

11 computability  check-my-proof 

পুনর্লিখন ব্যবস্থা হ'ল আকারে নিয়মের একটি সেট । আমরা একটি স্ট্রিং যে নিয়ম প্রয়োগ করেন আমরা কোনো সাবস্ট্রিং প্রতিস্থাপন মধ্যে একটি সাবস্ট্রিং সঙ্গে এবং তদ্বিপরীত।A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB একটি স্ট্রিং স্ট্রিং দেওয়া হয়েছে আমরা নিম্নলিখিত বিধিগুলি সহ সিস্টেমে পেতে :AAABBAAABBAAABBBAABBAABBAAB A↔BAA↔BAA \leftrightarrow BA BABA↔AABBBABA↔AABBBABA \leftrightarrow AABB AAA↔ABAAA↔ABAAA \leftrightarrow AB BA↔ABBA↔ABBA \leftrightarrow …

11 computability  term-rewriting 

এর কয়েকটি অঙ্কের ক্রম রয়েছে কিনা তা কীভাবে সিদ্ধান্ত নেওয়া যায়? ππ\piনিম্নলিখিত নিরীহ-বর্ণনামূলক প্রকরণটি গণনাযোগ্য কিনা তা জানতে আমাকে অনুপ্রাণিত করে: চ( এন ) = { 10যদি এন¯π এর দশমিক প্রতিনিধিত্বতে ঘটে πঅন্যভাবেf(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in …

11 computability  real-numbers 

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

11 formal-languages  computability  programming-languages 

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

11 computability  undecidability  halting-problem  oracle-machines 

একটি গণনামূলকভাবে গণনাযোগ্য (সিআর, পুনরাবৃত্তভাবে গণনার সমতুল্য, সেমিডেসিডেবলের সমতুল্য) সেটগুলির একটি সংজ্ঞা নিম্নলিখিত: সমস্ত x ∈ Σ ∗ এর জন্যএকটি নির্ধারণযোগ্য ভাষা ভি ⊆ Σ ∗ (যাচাইকরণকারী বলা হয়)স্ট্যান্ড থাকলে একটি ⊆ Σ ∗ সিটি হয়,A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^*V⊆Σ∗V⊆Σ∗V\subseteq \Sigma^*x∈Σ∗x∈Σ∗x\in \Sigma^* iff একটা বিদ্যমান Y ∈ Σ * ম ⟨ এক্স …

11 computability  proof-techniques  undecidability 

আমি গণনার তত্ত্বে আমার চূড়ান্ত জন্য অধ্যয়ন করছি এবং আমি এই বক্তব্যটি মিথ্যা সত্য কিনা তা উত্তর দেওয়ার সঠিক পদ্ধতি নিয়ে সংগ্রাম করছি। দ্বারা সংজ্ঞা এর আমরা নিম্নোক্ত বিবৃতি গঠন করা যেতে পারে≤মি≤m\leq_m ডব্লিউ ∈ এ⟺চ( W ) ∈ বি → W ∉ একজন⟺চ( W ) ∉ বিw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A …

11 complexity-theory  computability  reductions 

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

10 computability  logic  turing-completeness 

আমি আজ শিখেছি যে গণনা মডেলের ভিত্তিতে অ্যালগরিদম বিশ্লেষণ আলাদা হয়। এটি এমন কিছু যা আমি কখনও ভাবিনি বা শুনিনি। আমাকে দেওয়া একটি উদাহরণ, যা এটি আরও চিত্রিত করেছে, ব্যবহারকারী @ চেইটি হলেন: যেমন টাস্কটি বিবেচনা করুন: প্রদত্ত ( i , x)1, … , এক্সএন)(আমি,এক্স1,...,এক্সএন)(i,x_1 ,…,x_n ) রিটার্ন । র‍্যামে …

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

আমি থামার সমস্যাটি ত্রি-প্রতীক এক-মাত্রিক সেলুলার অটোম্যাটার জন্য স্থিতিশীল কিনা তা নির্ণয় করার চেষ্টা করছি। সংজ্ঞা আসুন সময় পদে পদে সিস্টেমের কনফিগারেশন বোঝাতে । আরও আনুষ্ঠানিকভাবে , যেখানে বর্ণমালা।f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA সংজ্ঞা। একটি সেলুলার অটোমেটন কনফিগারেশনে বন্ধ হয়ে গেছে , যদি আমাদের কাছে ।f(w,i)f(w,i)f(w,i)∀k∈N∀k∈N\forall k\in \mathbb{N}f(w,i)=f(w,i+k)f(w,i)=f(w,i+k)f(w,i)=f(w,i+k) প্রদত্ত সেলুলার অটোমেটনের …

10 computability  decision-problem  halting-problem  cellular-automata 

এটি সম্ভবত একটি নির্বোধ চিন্তাধারা, তবে মনে করুন আমাদের কাছে এমন একটি কম্পিউটার রয়েছে যা গণনার একটি অসীম অনুক্রম সম্পাদন করার জন্য প্রোগ্রামযুক্ত এবং ধরুন গণনাটি সম্পূর্ণ হতে সেকেন্ড সময় নেয় । তারপরে এই কম্পিউটারটি একটি সীমাবদ্ধ সময়ে অসীম সংখ্যা গণনা করতে পারে।আমিমআমিমi^\text{th}1 / 2আমি1/2আমি1/2^i কেন এটা অসম্ভব? অ-তুচ্ছ হিসাব …

10 computability  computation-models 

আমি ইউনিভার্সাল ট্যুরিং মেশিন সম্পর্কে দুটি প্রশ্নের উত্তর খুঁজতে চেষ্টা করছি। ইউনিভার্সাল ট্যুরিং মেশিন একটি ট্যুরিং মেশিনকে কীভাবে অনুকরণ করতে পারে যদি একটি যে সিমুলেটেড করা হচ্ছে তার সংখ্যার বেশি রাজ্য থাকে? ইউনিভার্সাল ট্যুরিং মেশিন একটি ট্যুরিং মেশিনকে কীভাবে অনুকরণ করতে পারে যদি একটি যে অনুকরণ করা হচ্ছে তার বর্ণমালার …

10 computability  turing-machines  simulation  turing-completeness 

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

10 computability  undecidability  halting-problem 

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

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis