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

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

27 turing-machines 

আমি ট্যুরিং মেশিন সম্পর্কে একটি উপস্থাপনা করছি এবং আমি ট্যুরিং মেশিনগুলি প্রবর্তনের আগে এফএসএম এর কিছুটা পটভূমি দিতে চাই। সমস্যাটি হ'ল, আমি সত্যিই জানি না যা একে অপরের থেকে খুব আলাদা। আমি জানি এটি আলাদা কি: টিউরিং মেশিনগুলি অসীম "টেপ" এর উপরে এমন একটি মাথা নিয়ে কাজ করে যা পড়ে …

27 terminology  turing-machines  finite-automata  machine-models 

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

27 turing-machines  computation-models 

বিবেচনা শুধুমাত্র বর্ণমালা স্ট্রিং যা টুরিং মেশিনে ইনপুট হিসাবে দেওয়া যায় সেট থেকে এসেছ Σ * । তবে কি ইনপুটটিকে অসীম বাইনারি স্ট্রিং হিসাবে বোঝানো যায়? উদাহরণস্বরূপ, যদি কোনও টিউরিং মেশিন 0 দিয়ে শুরু করে সমস্ত স্ট্রিং গ্রহণ করে, তবে কি অসীম শূন্যের একটি বাইনারি স্ট্রিংও টুরিং মেশিন দ্বারা গৃহীত …

26 turing-machines 

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

25 computability  turing-machines 

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

24 formal-languages  computability  turing-machines 

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

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

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

24 turing-machines  quantum-computing 

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

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

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

22 computability  turing-machines  halting-problem 

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

21 computability  turing-machines  computation-models  halting-problem 

আমি এমন সমস্যার উদাহরণ খুঁজছি যার ইনপুট জন্য কম bound ) রয়েছে । এক্স)Ω ( | x | |)2Ω(|x|2\Omega(|x|^2এক্সxx সমস্যার নিম্নলিখিত বৈশিষ্ট্য থাকা দরকার: Ω ( এন)2)Ω(n2)\Omega(n^2)Any যে কোনও অ্যালগরিদমের জন্য রানটাইম প্রমাণ - প্রথম অগ্রাধিকারটি যতটা সম্ভব নিম্নতর তত যুক্তি হিসাবে সহজ। ও ( এন)2)O(n2)O(n^2) অ্যালগরিদম, যদি সম্ভব হয় …

19 complexity-theory  turing-machines  time-complexity  lower-bounds 

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

19 formal-grammars  turing-machines  simulation 

ফাঁকা কোষগুলিতে লেখার ক্ষমতা ছাড়াই একটি ট্যুরিং মেশিন কি স্ট্যান্ডার্ড টিউরিংয়ের চেয়ে কম শক্তিশালী? আমি মনে করি উত্তরটি হ্যাঁ তবে আমি একটি গণনা খুঁজে পাইনি যা স্ট্যান্ডার্ড টিউরিং মেশিনটি করতে পারে তবে এই মেশিনটি পারে না। কোন ধারনা?

18 formal-languages  turing-machines  computability  automata 

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

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata