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

আমি বেশ কয়েকবার পড়েছি যে কোনও এনডিটিএমের উত্তর দক্ষতার সাথে ফ্লিপ করা সম্ভব নয়। তবে কেন বুঝতে পারছি না। উদাহরণস্বরূপ, একজন NDTM দেওয়া রান যে , এই টেক্সট (অধ্যায় 3.3) বলে যে, এটা স্পষ্ট নয়, কেমন করে অন্য NDTM মধ্যে নির্ধারণ করতে পারেন সময় কিভাবে টুসকি এর উত্তর।MMMO(n)O(n)O(n)TTTO(n100)O(n100)O(n^{100})MMM আমার সমস্যাটি …

11 complexity-theory  turing-machines 

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

10 computability  turing-machines  simulation  turing-completeness 

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

10 turing-machines  space-complexity 

আমি এমন ওয়েবসাইটগুলি দেখেছি যা এইচটিএমএল 5 + সিএসএস টুরিং সম্পূর্ণ " আমি এমন ওয়েবসাইটগুলি দেখেছি যা এসকিউএল টুরিং সম্পূর্ণ " আমি বেশ কয়েকটি ওয়েব সাইট দেখেছি যা টুরিং কমপ্লিট হওয়ার অর্থ "ব্যাখ্যা" করার জন্য পুরোপুরি রচনা করে। যথেষ্ট! আমি কোথায় এমন একটি বই (কম্পিউটারের তত্ত্বের বিশেষজ্ঞের দ্বারা লিখিত) বা …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

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

10 computability  turing-machines  formal-grammars 

গৃহীত হওয়ার অর্থ কি এই যে টিএম বর্তমানে পড়ছে সেখান থেকে একটি চরটি পড়বে এবং চিনবে? এবং যদি কোনও ইনপুট সিদ্ধান্তগ্রহণযোগ্য হয় তবে কোনও টিএম থেমে যায়?

10 terminology  turing-machines  undecidability 

প্রশ্ন অরোরার-বারাক এর বই থেকে ব্যায়াম 1.9 হয় কম্প্যুটেশনাল জটিলতা - একটি আধুনিক এপ্রোচ : র‌্যাম ট্যুরিং মেশিনটিকে একটি ট্যুরিং মেশিন হিসাবে সংজ্ঞায়িত করুন যা এলোমেলো অ্যাক্সেস মেমরি করে। আমরা নিম্নরূপে এটি আনুষ্ঠানিককরণ করি: মেশিনটিতে একটি অসীম অ্যারে রয়েছে যা সমস্ত ফাঁকা থেকে শুরু হয় initial এটি নিম্নলিখিত হিসাবে এই …

10 complexity-theory  turing-machines  machine-models  simulation 

আমি একজন এনিউরেটর থেকে টুরিং মেশিনে যাওয়ার প্রমাণ পেয়েছি (এনুমरेटरটি চালিয়ে যান এবং এটি ইনপুটটির সাথে মেলে কিনা দেখুন) তবে অন্য উপায়টি কীভাবে কাজ করে তা আমি দেখতে পাই না। আমার নোটস এবং গ্রন্থটি অনুসারে (টিউরিং মেশিনের থিওরি - সিপসার), টিউরিং মেশিন থেকে টিউরিং গণনার পেতে আমরা মূলত বর্ণমালাটির সমস্ত …

10 computability  turing-machines  intuition 

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

10 algorithms  algorithm-analysis  turing-machines  space-complexity 

ঠিক আছে, সুতরাং আমার তত্ত্বের গণনা ক্লাসের একটি অতীত পরীক্ষা থেকে এখানে একটি প্রশ্ন এসেছে: একটি টিএম-এ অকেজো অবস্থা এমনটি যা কোনও ইনপুট স্ট্রিংতে কখনও প্রবেশ করে না। Let Let প্রমাণ করুন যে । অনস্বীকার্য।USELESSTM={⟨M,q⟩∣q is a useless state in M}.USELESSTM={⟨M,q⟩∣q is a useless state in M}.\mathrm{USELESS}_{\mathrm{TM}} = \{\langle M, …

10 computability  undecidability  formal-methods  turing-machines 

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

9 computability  turing-machines  undecidability  halting-problem 

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

9 computability  turing-machines  undecidability  rice-theorem 

3-বর্ণ নির্ধারণযোগ্য তা প্রমাণ করার জন্য, এটি কি যথেষ্ট: গ্রাফের প্রতিটি নোডে 3 টি সম্ভাব্য রঙ রয়েছে অতএব আমরা সমস্ত সম্ভাবনার উপরে অঙ্ক করতে পারি এবং তারপরে পরীক্ষা করে দেখি যে কোনও দুটি কিনারা একই রঙের সাথে নোডকে সংযুক্ত করে না3এন3এন3^n এটি কি প্রমাণ করে যে 3-বর্ণ নির্ধারণযোগ্য? বা সঠিক …

9 computability  turing-machines  colorings 

একটি ইনপুট স্ট্রিং হিসাবে দেওয়া যাক w1w2...wnw1w2...wnw_1w_2...w_n। তারপরে যদি কোনও এনএফএ বর্তমানে থাকেrrr (এবং বর্ণমালা পর্যন্ত ইনপুট পড়েছে wiwiw_i ) তারপরে পরবর্তী ইনপুট প্রতীকটি পড়ার আগে এনএফএ দুটি এনএফএতে বিভক্ত হয়, একজনের অবস্থা রয়েছে rrr এবং অন্যান্য হচ্ছে sss, যদি ধরণের কোনও রূপান্তর থাকে r→ϵsr→ϵsr \xrightarrow{\epsilon} s। ধরণের একটি চক্র …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

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

9 turing-machines  finite-automata