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

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

12 automata-theory 

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

12 reference-request  quantum-computing  automata-theory 

আসুন একটি ধ্রুবক হতে। আমরা কীভাবে একটি সিউডোরেন্ডম জেনারেটর তৈরি করতে পারি যা স্টেস্ট সসীম অটোম্যাটাকে বোকা বানায় ?dঘddঘdd এখানে, একটি -state সসীম অটোমাটা হয়েছে নোড, একটি শুরুর নোডের রাজ্যের গ্রহণ প্রতিনিধিত্বমূলক নোড একটি সেট, এবং দুই নির্দেশ প্রান্ত লেবেল 0, 1 প্রতিটি নোডের আসছে আউট। এটি ইনপুট পড়ার সাথে …

12 automata-theory  pseudorandomness  pseudorandom-generators 

রিসিডুয়াল সসীম রাষ্ট্র অটোমেটা (আরএফএসএএস, [DLT02] এ সংজ্ঞায়িত) হ'ল এনএফএগুলি যা ডিএফএগুলির সাথে সাধারণ কিছু বৈশিষ্ট্যযুক্ত। বিশেষত, প্রতিটি নিয়মিত ভাষার জন্য সর্বদা একটি সর্বনিম্ন ন্যূনতম আকারের আরএফএসএ থাকে এবং আরএফএসএ-তে প্রতিটি রাষ্ট্রের দ্বারা স্বীকৃত ভাষাটি একটি ডিএফএ-র মতোই একটি অবশিষ্টাংশ। তবে, যেখানে সর্বনিম্ন ডিএফএ-র রাজ্যগুলি সমস্ত অবশিষ্টাংশের সাথে একটি চুক্তি …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

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

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

এই প্রশ্নের দ্বারা অনুপ্রাণিত , আমি নিম্নলিখিত সম্পর্কে কৌতূহলী: প্রদত্ত ডিএফএ একটি নিয়মিত প্রকাশ হিসাবে একই ভাষা গ্রহণ করে কিনা তা যাচাই করার ক্ষেত্রে সবচেয়ে খারাপ জটিলতা কী? এটা কি জানা? আশা এই যে সমস্যাটি পি-তে রয়েছে - যে উভয়ের আকারে একটি অ্যালগরিদম বহুপদী রয়েছে।

12 automata-theory  lg.learning  regular-expressions  dfa 

আইসোমর্ফিক নয় এমন ন্যূনতম অ-নিরস্তক অটোমেটা (এনএফএ) কে দুটি সমতুল্য (একই ভাষা স্বীকৃতি দেওয়ার) উদাহরণ দিতে পারে?

12 fl.formal-languages  automata-theory 

একজন এমপিএ (multipebble যন্ত্রমানব) একটি 2DFA (দ্বিমুখী নির্ণায়ক সসীম যন্ত্রমানব) যে নুড়ি (আসলে সর্বাধিক স্বেচ্ছাচারী সংখ্যা ব্যবহার করতে পারেন একটি প্রদত্ত ইনপুটের নুড়ি W - ইনপুট দুই প্রান্তের টেপ লেখা যেমন -markers # W # )। গণনার সময়, এমপিএ সনাক্ত করতে পারে যে মাথার নীচে প্রতীকটি একটি নুড়ি রয়েছে কিনা …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

এলটিএল , বাচি / কিউপিটিএল , সিটিএল এবং সিটিএল * এর প্রকাশের মধ্যে কী সম্পর্ক ? আপনি কি এমন কিছু উল্লেখ দিতে পারেন যা এই যতগুলি সম্ভব টেম্পোরাল লজিককে অন্তর্ভুক্ত করে (বিশেষত রৈখিক- এবং শাখা-কালীন সময়ের মধ্যে)? সেই টেম্পোরাল লজিকস এবং উদাহরণ হিসাবে কিছু ব্যবহারিক বৈশিষ্ট্য সহ ভেন চিত্রটি সঠিক …

12 lo.logic  automata-theory  model-checking  temporal-logic 

বলুন যে কারও কাছে একটি ভাষা , তবে কেউ জানেন না যে স্ট্রিংগুলি আসলে ভাষার অংশ। প্রত্যেকটি ভাষাতেই সীমাবদ্ধ দৃষ্টিভঙ্গি রয়েছে: ভাষার মধ্যে পরিচিত স্ট্রিং এর একটি সীমাবদ্ধ সেট এবং একটি সীমাবদ্ধ সেট যা পরিচিত ভাষায় না।L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^*A⊆LA⊆LA \subseteq LB⊆(Σ∗∖L)B⊆(Σ∗∖L)B \subseteq (\Sigma^* \setminus L) উদাহরণস্বরূপ, আসুন আমি আছে এবং …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

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

12 fl.formal-languages  automata-theory 

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

11 fl.formal-languages  automata-theory  prefix-free-code  nfa 

সম্পর্কিত প্রশ্ন পড়ার পরে অ্যালগরিদমের অ-গঠনমূলক অস্তিত্বের প্রমাণ সম্পর্কে আমি ভাবছিলাম যে আসলে এটি তৈরি না করে "ছোট" (বলুন, রাজ্য-ভিত্তিক) গণনা মেশিনগুলির অস্তিত্ব দেখানোর পদ্ধতি আছে কি না? আনুষ্ঠানিকভাবে: অনুমান করা আমরা কিছু ভাষা দেওয়া হয় এবং কিছু গণনার মডেল (NFAs / টুরিং মেশিন / ইত্যাদি) সমাধান করুন।এল ⊆ Σ*L⊆Σ∗L\subseteq …

11 cc.complexity-theory  automata-theory  turing-machines 

একমুখী বিকল্প পুশডাউন অটোমেটা (1APDA) কোনও শব্দ চিনতে পারে চন্দ্র, কোজেন এবং স্টকমেয়ার দ্বারা আবর্তন, 1981) । কাউন্টার দিয়ে 1 এপিডিএর পুশডাউন স্টোরেজটি প্রতিস্থাপনের মাধ্যমে আমরা ওয়ান-কাউন্টার (1ACA) দিয়ে একমুখী বিকল্প অটোমেটন পেতে পারি। আমার প্রশ্নটি অ্যারারি ভাষাগুলিতে 1ACA সম্পর্কিত।ডি টিআমিএমই( 2)ও ( এন ))ডিটিআমিএমই(2হে(এন)) DTIME(2^{O(n)}) 1ACAs কিছু অনার্য নিয়মিত …

11 automata-theory  counter-automata  unary-languages 

আমার সমস্ত পাঠ্যপুস্তক একটি রেজেেক্স প্রদত্ত ডিএফএ তৈরির জন্য একই অ্যালগরিদম ব্যবহার করে: প্রথমে একটি এনএফএ তৈরি করুন যা রেজেক্সের ভাষা স্বীকৃতি দেয়, তারপরে সাবসেট (ওরফে "পাওয়ারসেট") নির্মাণ ব্যবহার করে এনএফএকে সমতুল্য ডিএফএতে রূপান্তরিত করে ( allyচ্ছিকভাবে ডিএফএ হ্রাস করা)। আমি একসময় একজন প্রফেসরকে সেখানে অন্যান্য অ্যালগরিদম থাকার কথাও শুনেছি। …

11 automata-theory  regular-expressions  dfa