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

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

34 formal-languages  applied-theory  computability  automata  formal-grammars 

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

32 computability  proof-techniques  compilers 

বাইনারি ল্যাম্বদা ক্যালকুলাসের এই 579-বিট প্রোগ্রামটির অজানা থামার অবস্থা রয়েছে: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 অর্থাত্, এই প্রোগ্রামটি শেষ হবে কিনা তা জানা যায়নি। এটি নির্ধারণের জন্য, আপনাকে অবশ্যই কোলাটজ অনুমানটি সমাধান করতে হবে - বা, কমপক্ষে, সমস্ত সংখ্যার জন্য 2 6 256 পর্যন্ত। এই প্রোগ্রামটি কীভাবে …

32 algorithms  computability  kolmogorov-complexity 

এখানে কি কোনও টুরিং সম্পূর্ণ টাইপড ল্যাম্বদা ক্যালকুলি রয়েছে? যদি তা হয় তবে কয়েকটি উদাহরণ কি?

31 computability  lambda-calculus  type-theory 

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

31 complexity-theory  computability  np-hard 

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

30 computability  undecidability 

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

30 computability  turing-machines  quantum-computing  nondeterminism 

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

30 computability  proof-techniques  undecidability  halting-problem  intuition 

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

29 turing-machines  computability  computation-models 

চার্চ-টিউরিং থিসিসে বলা হয়েছে যে শারীরিকভাবে গুণ করা যায় এমন সমস্ত কিছুই একটি ট্যুরিং মেশিনে গণনা করা যায়। "নিউরাল নেটওয়ার্কগুলির মাধ্যমে অ্যানালগ গণনা" (সিগেলম্যান এবং সোনট্যাগ , তাত্ত্বিক কম্পিউটার বিজ্ঞান , 131: 331–360, 1994; পিডিএফ ) দাবি করেছে যে নির্দিষ্ট ফর্মের একটি নিউরাল নেট (সেটিংস কাগজে উপস্থাপন করা হয়েছে) আরও …

29 computability  turing-machines  church-turing-thesis 

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

29 computability  turing-machines  combinatorics 

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

29 computability  semi-decidability  enumeration 

(অব্যক্ত) ল্যাম্বদা ক্যালকুলাস ( ল্যাম্বদা) এ ফিক্সড পয়েন্ট কম্বিনেটর FIX (ওরফে ওয়াই কম্বিনেটর) হিসাবে সংজ্ঞায়িত করা হয়েছে:λλ\lambda FIX≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) আমি এর উদ্দেশ্য বুঝতে পেরেছি এবং আমি এর …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

এমন কোনও প্রোগ্রাম রয়েছে যা কোনও দুটি ভাষার মধ্যে অনুবাদককে 'অনুবাদ' করতে পারে (অনুমান করে যে অনুবাদকের প্রয়োজনীয় লাইব্রেরিতে অ্যাক্সেস রয়েছে)? যদি সেখানে থাকে তবে তারা কীভাবে কাজ করবে (কৌশলগুলি ব্যবহৃত, জ্ঞান প্রয়োজনীয়, ইত্যাদি)? এগুলি কীভাবে সম্ভব নির্মিত হবে? যদি তা না হয় তবে তাদের উন্নয়নে বাধা কী? এটি কি …

28 computability  programming-languages  compilers 

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

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees