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

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

28 computability  proof-techniques  undecidability 

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

27 computability  turing-machines  halting-problem 

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

26 computability  programming-languages  turing-completeness 

হোল্টিং সমস্যার অনিশ্চয়তার প্রমাণ বুঝতে আমার সমস্যা হচ্ছে। যদি হোক বা না হোক প্রোগ্রাম আয় ইনপুটের স্থগিত , আমরা কেন কোড পাস করতে হবে না উভয়ের জন্য এবং ?ক খ পি এ বিএইচ( ক , খ )H(a,b)H(a,b)একটিaaখbbপিPPএকটিaaখbb কেন নয় আমরা ভোজন পারেন সঙ্গে এবং কিছু নির্বিচারে ইনপুট, বলুন, ?পি xএইচ( …

25 computability  turing-machines 

স্পষ্টতই এনপিতে কোনও অনস্বীকার্য সমস্যা নেই। তবে উইকিপিডিয়া অনুসারে : এনপি হ'ল সমস্ত সিদ্ধান্তগত সমস্যার একটি সেট যার জন্য উত্তর যেখানে হ্যাঁ হয় তার উদাহরণগুলি [.. প্রমাণগুলি যেগুলি] একটি নির্বাহী টুরিং মেশিনের মাধ্যমে বহুবর্ষে যাচাইযোগ্য। [...] একটি সমস্যা NP- তে বলা হয় যদি এবং কেবলমাত্র বহুবর্ষীয় সময়ে কার্যকর হওয়া সমস্যার …

25 complexity-theory  computability  undecidability  decision-problem 

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

24 formal-languages  computability  turing-machines 

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

24 computability 

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

23 computability  terminology  history 

এই প্রশ্নটি তাত্ত্বিক কম্পিউটার বিজ্ঞান স্ট্যাক এক্সচেঞ্জ থেকে স্থানান্তরিত হয়েছিল কারণ এটি কম্পিউটার সায়েন্স স্ট্যাক এক্সচেঞ্জে উত্তর দেওয়া যেতে পারে। 7 বছর আগে স্থানান্তরিত । "অ্যালান টুরিং 1936 সালে প্রমাণ করেছিলেন যে সমস্ত সম্ভাব্য প্রোগ্রাম-ইনপুট জোড়গুলির জন্য থামানো সমস্যা সমাধানের জন্য একটি সাধারণ অ্যালগরিদম উপস্থিত থাকতে পারে না" কিছু সম্ভাব্য …

23 computability  formal-methods  halting-problem  software-verification 

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

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

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

22 computability  approximation  data-compression  kolmogorov-complexity 

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

22 computability  turing-machines  halting-problem 

এমন কোন "প্রাকৃতিক" ভাষা আছে যা অনস্বীকার্য? "প্রাকৃতিক" বলতে বোঝায় এমন একটি ভাষা যার অর্থ সরাসরি স্ট্রিংয়ের বৈশিষ্ট্য দ্বারা সংজ্ঞায়িত করা হয়, মেশিন এবং তাদের সমতুল্য নয়। অন্য কথায়, ভাষাটি যদি looks যেখানে টিএম, ডিএফএ (বা নিয়মিত-এক্সপ্রেস), পিডিএ (বা ব্যাকরণ) ইত্যাদি থাকে প্রাকৃতিক নয় । তবে প্রাকৃতিক।এল = { ⟨ …

22 formal-languages  automata  computability  undecidability 

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

21 computability  turing-machines  computation-models  halting-problem 

গণনার মেশিন মডেলগুলি বিবেচনা করার সময়, চমস্কি হায়ারার্কি সাধারণত (ক্রম), সসীম অটোমাতা, পুশ-ডাউন অটোমেটা, লিনিয়ার বাউন্ড অটোমেটা এবং টুরিং মেশিনগুলির দ্বারা চিহ্নিত হয়। প্রথম এবং শেষ স্তরের 1 (নিয়মিত ভাষা এবং পুনরাবৃত্তিমূলকভাবে গণনাকারী ভাষা) এর জন্য, আমরা ডিটারিস্টোনিক বা ননডেটারিস্টিক মেশিনগুলি বিবেচনা করি, অর্থাৎ ডিএফএগুলি এনএফএসের সমতুল্য, এবং ডিটিএমগুলি এনটিএম …

21 formal-languages  computability  context-free  computation-models  context-sensitive