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

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

17 algorithms  turing-machines  computability  computation-models 

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

17 computability  reference-request  turing-machines  halting-problem 

কোনও স্বেচ্ছাসেবী অ্যানালগ গণনা করার জন্য কোন ক্রিয়াকলাপ করা দরকার ? সংযোজন, বিয়োগ, গুণ এবং বিভাগ কি যথেষ্ট হবে? এছাড়াও, কেউ কি অ্যানালগ গণনা ব্যবহার করে ট্র্যাকটেবল হ'ল ঠিক কী জানেন, তবে ডিজিটাল দিয়ে নয়?

17 computability  computation-models  turing-completeness 

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

17 computability  computation-models 

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

17 algorithms  computability  graph-theory  undecidability 

এই ভাষাগুলির AAA এবং BBB , এর কথা বলা যে তাদের সংযুক্তকরণের দিন ABABAB হয় দ্ব্যর্থহীন যদি সব শব্দের জন্য w∈ABw∈ABw \in AB , সেখানে ঠিক এক পচানি w=abw=abw = ab সঙ্গে a∈Aa∈Aa \in A এবং b∈Bb∈Bb \in B , আর দ্ব্যর্থক অন্যথায়। একটি তুচ্ছ উদাহরণ হিসাবে (আমি ওখানে জন্য …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

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

16 computability  turing-machines  undecidability  computation-models 

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

16 computability  undecidability  pushdown-automata 

এই প্রশ্নে আমরা কেবলমাত্র ট্যুরিং মেশিনই বিবেচনা করি যা সমস্ত ইনপুটগুলিতে থামে। যদি k∈Nk∈Nk \in \mathbb{N} তবে দ্বারা TkTkT_kআমরা টুরিং মেশিনকে বোঝাই যার কোড ।kkk নিম্নলিখিত ফাংশন বিবেচনা করুন s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k \mid |L(T_k) \cap \{x,y\}| = 1\} অন্য কথায়, হ'ল ক্ষুদ্রতম টিউরিং মেশিনের কোড যা একটির স্ট্রিংকে যথাযথভাবে স্বীকৃতি …

16 computability  turing-machines 

নোট করুন এটি একটি বিশ্ববিদ্যালয়ের সিএস কোর্সে অধ্যয়নের সাথে সম্পর্কিত একটি প্রশ্ন, এটি হোম ওয়ার্ক নয় এবং এটি ফল 2011 সালের পতনের অধীনে পাওয়া যাবে । একটি অতীত পরীক্ষা থেকে আমি যে দুটি প্রশ্ন দেখছি তা এখানে। তারা সম্পর্কিত বলে মনে হচ্ছে, প্রথম: দিন FINITECFG={<G>∣G is a Context Free Grammar …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

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

15 computability  automata 

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

15 computability 

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

15 computability  turing-machines  history 

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

15 computability  automata  undecidability 

গুচ্ছ ধর্তব্য যদি এটা স্বাভাবিক সংখ্যার সঙ্গে একটি bijection আছে, এবং হয় computably গণনীয় (CE) একটি অ্যালগরিদম যে তার সদস্যদের উল্লেখ অস্তিত্ব আছে পারেন। যে কোনও অ-সসীম গণনাযোগ্য গণনাযোগ্য সেট অবশ্যই গণনাযোগ্য হতে হবে যেহেতু আমরা গণনা থেকে একটি স্রোত তৈরি করতে পারি। গণনাযোগ্য সেটগুলির এমন কোনও উদাহরণ রয়েছে যা …

15 computability  semi-decidability