প্রশ্ন ট্যাগ «turing-machines»

বুলিয়ান ফাংশন একটি ফাংশন is f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}। বুলিয়ান ভিত্তি (∨,∧)(∨,∧)(\vee,\wedge) এটি কোনও অনুক্রমের অনুমতি দেয় বলে টুরিং সম্পূর্ণ হিসাবে পরিচিত s∈{0,1}s∈{0,1}s\in\{0,1\}উল্টানো বা অপরিবর্তিত রাখা। একই কথা বলা যেতে পারেXORXOR\mathrm{XOR} দরজা। এই অর্থে আমরা একটি প্রাথমিক মেশিন কনফিগারেশন দিয়ে শুরু করতে পারি b=(b1,…,bn)b=(b1,…,bn)\textbf{b}=(b_1,\ldots,b_n) যেমন যে bi∈{0,1}bi∈{0,1}b_i\in\{0,1\} এবং XORXOR\mathrm{XOR} এটি ধারাবাহিক মান সহ …

9 turing-machines  turing-completeness  boolean-algebra 

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

9 turing-machines  computation-models 

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

9 turing-machines  context-free  parsers 

এই প্রশ্নটি পড়ার পরে " প্রাকৃতিক আরই অবিশ্বাস্য সমস্যা তবে নিরাময়-সম্পূর্ণ নয় " নিম্নলিখিত ভাষাটি আমার মনে এসেছে: যদি ব্যস্ত বিভার ফাংশন (একটি ফাঁকা টেপ শুরু করার সাথে উপরের বর্ণিত ধরণের সমস্ত প্রতীক 2-প্রতীক এন-রাষ্ট্র টুরিং মেশিনগুলির মধ্যে সর্বাধিক অর্জনযোগ্য স্কোর) থাকে তবে ফাংশনটি সংজ্ঞায়িত করুন:Σ(⋅)Σ(⋅)\Sigma(\cdot) BB(⟨M⟩)={10⟨M⟩ computes Σ(⋅) otherwiseBB(⟨M⟩)={1⟨M⟩ …

9 computability  turing-machines 

গণনাযোগ্য সংখ্যা (টুরিং অর্থে) কেন গণনাযোগ্য? এটি অবশ্যই খুব সুস্পষ্ট হতে পারে তবে আমি বর্তমানে এটি দেখছি না।

9 computability  turing-machines  enumeration 

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

9 computability  turing-machines  reductions  simulation 

নিম্নলিখিত সমস্যাগুলির সাথে আমি আপনার সহায়তাটি ব্যবহার করতে চাই: এল = { ⟨ এম⟩ | এল ( এম) প্রসঙ্গমুক্ত }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}। দেখানল ∉ আর ই। সিও আর ইL∉RE∪CoREL \notin RE \cup CoRE। আমি প্রমাণ করতে জানি ল ∉ আর ইL∉REL\notin RE, এটি একটি …

9 formal-languages  computability  context-free  turing-machines