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

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

20 automata  finite-automata  proof-techniques  reference-question  induction 

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

20 automata  finite-automata  nondeterminism 

আমি সেলুলার অটোম্যাটায় ১১০ বিধি বিধানের জন্য উইকিপিডিয়া পৃষ্ঠাটি পড়েছি এবং তারা কীভাবে কাজ করে আমি কম-বেশি জানি (নিয়মের একটি সেট সিদ্ধান্ত নেয় যে পরবর্তী 1 বা 0 কোথায় আঁকতে হবে)। আমি কেবল পড়েছি তারা ট্যুরিং সম্পূর্ণ হয়েছে, তবে আমি বুঝতে পারি না যে আপনি কীভাবে 'রুল 110' তে 'প্রোগ্রাম' …

19 computability  automata  turing-completeness  cellular-automata 

দিন এল = { এএন| ∃p ≥ n পি, পি + + 2 মৌলিক হয় } । L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. কি নিয়মিত?এলLL এই প্রশ্নটি প্রথম নজরে সন্দেহজনক বলে মনে হয়েছিল এবং আমি বুঝতে পেরেছি যে এটি …

19 formal-languages  automata  regular-languages  finite-automata 

আমি নিম্নলিখিত প্রশ্নের উপর আটকে আছি: "নিয়মিত ভাষায় অবিকল সেই সসীম অটোমাটা দ্বারা গৃহীত হয় দেওয়া এই বাস্তবতা প্রমাণ করে যে যদি ভাষা। কিছু সসীম যন্ত্রমানব দ্বারা গৃহীত হয়, তাহলে কিছু সসীম দ্বারা গৃহীত হয়; সমস্ত শব্দের নিয়ে গঠিত এর বিপরীত। "LLLLRLRL^{R}LRLRL^{R}LLL

19 formal-languages  regular-languages  automata  finite-automata 

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

18 formal-languages  turing-machines  computability  automata 

প্রসঙ্গমুক্ত ব্যাকরণে কোনও অটোমেটনের "মৃত অবস্থা" অন্তর্ভুক্ত থাকতে পারে, যেমন জি = ({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{একজন→একটিবি,বি→খ,বি→সি,সি→গসি},একজন)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? উত্পাদনের এবং চিরকালের জন্য লুপ হয়ে যাবে এবং কখনও কোনও শব্দ উত্পন্ন করবে না। এটি অনুমোদিত বা আবশ্যক উত্পাদনের নিয়মগুলি কি …

18 context-free  automata  formal-grammars 

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

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

উদাহরণস্বরূপ যখন আমরা এমন একটি ডিএফএ বিবেচনা করি যা স্ট্রিংগুলিকে উপ-স্ট্রিং না রাখার অনুমতি দেয় 00বা 11আমি নিম্নলিখিত দুটি ডিএফএ তৈরি করতে পারি:

17 automata  finite-automata 

আমি ডিজিটাল অনুক্রমিক সার্কিট ডিজাইনে এফএসএম ব্যবহার করেছি। তবে আমি ফিনাইট অটোমাতার সাথে অপরিচিত। দু'জনের মধ্যে 'বেসিক' পার্থক্য বুঝতে কেউ আমাকে সহায়তা করতে পারে?

16 terminology  automata  finite-automata 

যদি এই এমনকি সম্ভব, যেহেতু আমি অবাক হচ্ছি {anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL} । অতএব একটি পিডিএ হল একটি শব্দ আলাদা করতে পারেন w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\} বাকি থেকে {a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} পাশাপাশি, তা গ্রহণ হতে পারে আমার কাছে পরস্পরবিরোধী শোনাচ্ছে। আমার ধারণা আমি পিডিএর …

16 formal-languages  automata  context-free  pushdown-automata 

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

16 formal-languages  automata  closure-properties 

ডিটারমিনিস্টিক সসীম অটোমেটন (ডিএফএ) একটি স্টেট মেশিন মডেল যা সমস্ত এবং শুধুমাত্র নিয়মিত ভাষা গ্রহণ করতে সক্ষম। ডিএফএগুলি এমনভাবে সংজ্ঞায়িত করা যেতে পারে (এবং সাধারণত এটি হয়) যে প্রতিটি রাজ্যকে অবশ্যই ইনপুট বর্ণমালার সমস্ত উপাদানগুলির জন্য কিছু সংক্রমণ সরবরাহ করতে হবে; অন্য কথায়, ট্রানজিশন ফাংশন একটি (মোট) ফাংশন হওয়া উচিত।δ:Q×Σ→Qδ:Q×Σ→Q\delta …

16 formal-languages  automata  finite-automata 

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

15 computability  automata 

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

15 computability  automata  undecidability