কম্পিউটার বিজ্ঞান

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

44 formal-languages  automata 

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

44 logic  proof-assistants  automated-theorem-proving  coq 

হাই-অর্ডার প্যাটার্নের মিলটি একটি অনির্বাচিত সমস্যা। এর মানে হল যে কোন অ্যালগরিদম যে একটি সমীকরণ দেওয়া হয় a => b, যেখানে aএবং bকেবল টাইপ করা ল্যামডা ক্যালকুলাস খোলা পদ, একটি প্রতিকল্পন খুঁজে বের করে Sযেমন যে aS => bS, যেখানে =>"একই Bn স্বাভাবিক ফর্ম আছে" জন্য দাঁড়িয়েছে। তবুও, মানুষ সেই …

44 computability 

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

44 terminology  parallel-computing  concurrency 

আমার মনে আছে যে এমন একটি ভাষা সম্পর্কে নিম্নলিখিত প্রশ্নটি এসেছে যা অনুমিত-মুক্ত বলে মনে করা হয় তবে আমি সত্যতার প্রমাণ খুঁজে পাইনি। আমি সম্ভবত প্রশ্নটি ভুল করে ফেলেছি? যাইহোক, এখানে প্রশ্ন: ভাষাটি দেখান এক্স | = | y | , এক্স ≠ Y } প্রসঙ্গ মুক্ত।L = { x …

43 formal-languages  context-free 

আমি জানি যে এখানে একটি ট্যুরিং মেশিন রয়েছে, যদি কোনও ফাংশন গণনাযোগ্য হয়। তারপরে কীভাবে দেখানো যায় যে ফাংশনটি গণনাযোগ্য নয় বা এর জন্য কোনও ট্যুরিং মেশিন নেই। পাম্পিং লেমার মতো কিছু আছে কি?

43 computability  proof-techniques  undecidability  reference-question 

ধরে নিই যে আমি একজন প্রোগ্রামার এবং আমার একটি এনপি-সম্পূর্ণ সমস্যা রয়েছে যা আমার এটি সমাধান করা দরকার। এনপিসি সমস্যা মোকাবেলায় কোন পদ্ধতি উপলব্ধ? এই বিষয়ে কোন সমীক্ষা বা অনুরূপ কিছু আছে?

43 algorithms  reference-request  np-complete  efficiency  reference-question 

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

42 undecidability  type-theory  type-inference  dependent-types 

আমি একটি দোভাষী লিখতে গিয়ে একটি অদ্ভুত সমস্যার মুখোমুখি হয়েছি যে (উচিত) বাহ্যিক প্রোগ্রাম / ফাংশনগুলিতে হুক করা উচিত: 'সি' এবং 'সি ++' এর ফাংশনগুলি ভেরিয়াদিক ফাংশনগুলিকে হুক করতে পারে না , যেমন আমি কোনও ফাংশন করতে পারি না যা 'প্রিন্টফ' বলে ঠিক একই আর্গুমেন্টগুলি এটি পেয়েছিল এবং এটির পরিবর্তে …

42 computability  programming-languages  turing-completeness 

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

42 computability  recursion  iteration 

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

42 computer-architecture 

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

41 data-structures  search-trees  balanced-search-trees 

ইন এই উত্তরটি এটা উল্লেখ করা হয় একটি নিয়মিত ভাষা একটি সসীম অটোমেটন দ্বারা স্বীকৃত হতে পারে। একটি প্রসঙ্গ-মুক্ত ভাষাতে একটি স্ট্যাকের প্রয়োজন হয়, এবং একটি প্রসঙ্গে সংবেদনশীল ভাষার জন্য দুটি স্ট্যাকের প্রয়োজন হয় (এটির জন্য এটির পুরো ট্যুরিং মেশিনের প্রয়োজন বলার সমতুল্য) । আমি উপরের সাহসী অংশটির সত্যতা সম্পর্কে …

41 computability  turing-machines  automata  pushdown-automata 

আমি পিটারসন এবং ডেকারের অ্যালগরিদমগুলি বোঝার চেষ্টা করছি যা খুব অনুরূপ এবং প্রচুর প্রতিসাম্য প্রদর্শন করে। আমি নীচের মতো অনানুষ্ঠানিক ভাষায় অ্যালগরিদমগুলি প্রণয়ন করার চেষ্টা করেছি: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and while(flag[1]==true&&turn==1){ it's your turn I'll wait." } …

41 concurrency  synchronization  mutual-exclusion 

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

41 data-structures  strings  string-metrics