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

আমি জানি কিছু গণ্যকরণ অস্পষ্ট অর্থে কী হয় (এটি কম্পিউটারগুলি কাজ করে) তবে আমি আরও কঠোর সংজ্ঞা চাই। Dictionary.comগণনা, গণনা, গণনা এবং গণনার সংজ্ঞাগুলি বিজ্ঞপ্তিযুক্ত, সুতরাং এটি কোনও সহায়তা করে না। Wikipediaগণনাটিকে "কোনও ধরণের গণনা যা ভাল-সংজ্ঞায়িত মডেল অনুসরণ করে" বলে সংজ্ঞা দেয়। এটি গণনার সংজ্ঞা দেয় "ইচ্ছাকৃত প্রক্রিয়া যা …

20 terminology  computability 

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

20 computability  compilers  program-optimization 

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

20 computability  undecidability 

কোলমোগোরভ-জটিলতা সংজ্ঞায়নের অনেকগুলি উপায় রয়েছে এবং সাধারণত, এই সমস্ত সংজ্ঞাগুলি একটি সংযোজক ধ্রুবকের সমতুল্য। এটি যদি কে 1K1K_1 এবং কে 2K2K_2 কোলমোগোরভ জটিলতা ফাংশন (বিভিন্ন ভাষা বা মডেলের মাধ্যমে সংজ্ঞায়িত) হয়, তবে সেখানে একটি ধ্রুবক সি থাকে ccযা প্রতিটি স্ট্রিংয়ের জন্য xxx , | কে 1 ( এক্স ) - …

20 computability  kolmogorov-complexity 

একটি এনপি-হার্ড সমস্যা অবশ্যই গণনাযোগ্য হওয়া দরকার? আমি এটা মনে করি না, তবে আমি নিশ্চিত নই।

19 complexity-theory  computability  np-hard 

আমি সেলুলার অটোম্যাটায় ১১০ বিধি বিধানের জন্য উইকিপিডিয়া পৃষ্ঠাটি পড়েছি এবং তারা কীভাবে কাজ করে আমি কম-বেশি জানি (নিয়মের একটি সেট সিদ্ধান্ত নেয় যে পরবর্তী 1 বা 0 কোথায় আঁকতে হবে)। আমি কেবল পড়েছি তারা ট্যুরিং সম্পূর্ণ হয়েছে, তবে আমি বুঝতে পারি না যে আপনি কীভাবে 'রুল 110' তে 'প্রোগ্রাম' …

19 computability  automata  turing-completeness  cellular-automata 

যাক । আমার সিদ্ধান্ত নেওয়া দরকার যে এফ সিদ্ধান্ত গ্রহণযোগ্য বা পুনরাবৃত্তীয়ভাবে গণনাযোগ্য whether আমি মনে করি এটি সিদ্ধান্ত গ্রহণযোগ্য তবে এটি কীভাবে প্রমাণ করতে হয় তা আমি জানি না।এফ= { ⟨ এম⟩ : এম একটি টি এম যা সর্বাধিক 50 ধাপ এ যে ইনপুট জন্য স্টপ }F={⟨M⟩:M is a …

19 computability  undecidability 

আমি গণনার তত্ত্বের কোর্স করা একটি স্নাতক শিক্ষার্থী এবং একবার আমাকে জিজ্ঞাসা করা হয়ে গেলে বিষয়বস্তু তৈরি করতে আমার গুরুতর সমস্যা হয়। আমি পাঠ্যপুস্তকটি অনুসরণ করতে সক্ষম (মাইকেল সিপসারের দ্বারা থিওরি অফ থিওরির পরিচিতি) এবং বক্তৃতাগুলি; তবে যখন কোনও কিছু প্রমাণ করতে বা নির্দিষ্ট টিএমের আনুষ্ঠানিক বিবরণ নিয়ে আসতে বলা …

19 computability  education  intuition 

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

18 computability  undecidability  software-engineering  formal-methods 

কোনও গণনাযোগ্য ফাংশন রয়েছে কি যেমন:f:N→Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} সমস্তt ∈ N : 0 ≤ f( টি ) &lt; এক্সটি∈এন:0≤চ(টি)&lt;এক্সt\in\mathbb{N}: 0\le f(t) < X লিমt → ∞চ(t)=Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X যেখানে XXX একটি আপত্তিজনক আসল সংখ্যা। আমি খুঁজে পেয়েছি এই প্রশ্নের শুধুমাত্র রেফারেন্সের উত্তর ছিল এই প্রশ্নের : /math//a/1052579/168764 , ফাংশন বলে …

18 computability 

ফাঁকা কোষগুলিতে লেখার ক্ষমতা ছাড়াই একটি ট্যুরিং মেশিন কি স্ট্যান্ডার্ড টিউরিংয়ের চেয়ে কম শক্তিশালী? আমি মনে করি উত্তরটি হ্যাঁ তবে আমি একটি গণনা খুঁজে পাইনি যা স্ট্যান্ডার্ড টিউরিং মেশিনটি করতে পারে তবে এই মেশিনটি পারে না। কোন ধারনা?

18 formal-languages  turing-machines  computability  automata 

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

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

মেমরিটি অনেক কিছুর জন্য ব্যবহৃত হয়, যেমনটি আমি বুঝতে পারি। এটি ডিস্ক-ক্যাশে হিসাবে কাজ করে এবং এতে প্রোগ্রামগুলির নির্দেশাবলী এবং তাদের স্ট্যাক এবং হিপ থাকে। এখানে একটি চিন্তা পরীক্ষা। কম্পিউটারের ক্রাচিংয়ের জন্য যে গতি বা সময় লাগবে সে সম্পর্কে যদি কেউ সেদিকে খেয়াল রাখেন না, তাহলে মনে হয় যে খুব …

18 computability  memory-management  memory-hardware 

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

18 computability 

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

18 computability  formal-methods  software-engineering  software-verification