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

এন (রাজ্য) সহ দুটি (সর্বনিম্ন) ডিএফএগুলির ছেদটি ও (এন 2 ) সময় এবং স্পেস ব্যবহার করে গণনা করা যেতে পারে । এটি সাধারণভাবে সর্বোত্তম, যেহেতু ফলস্বরূপ (সর্বনিম্ন) ডিএফএর এন 2 রাজ্য থাকতে পারে । তবে, যদি ফলস্বরূপ সর্বনিম্ন ডিএফএ-এর জেড স্টেট থাকে, যেখানে z = O (n) থাকে তবে এটি …

25 automata-theory  dfa 

কোন ভাষায় জন্য উপর Σ * , নির্ধারণ এল 1 / 2 = { x এর ∈ Σ * : এক্স Y ∈ এল , Y ∈ Σ | এক্স | } । কথায়, এল 1 / 2 সব নিয়ে গঠিত এক্স , যার জন্য একটা হল Y সমান দৈর্ঘ্য …

24 fl.formal-languages  automata-theory 

যাক NFAs কর্তৃক প্রদত্ত দুই নিয়মিত ভাষায় হতে এম 1 , এম 2 ইনপুট হিসাবে।এল1, এল2L1,L2L_1,L_2এম1, এম2M1,M2M_1,M_2 ধরে আমরা কিনা তা যাচাই করতে চাই । এটি স্পষ্টভাবে একটি চতুর্ভুজীয় অ্যালগরিদম দ্বারা সম্পন্ন করা যেতে পারে যা এম 1 , এম 2 এর পণ্য অটোমেটনের গণনা করে তবে আমি আরও ভাবছিলাম …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

দুটি স্ট্রিং x এবং y দেওয়া, আমি ন্যূনতম আকারের ডিএফএ তৈরি করতে চাই যা এক্স গ্রহণ করে এবং y প্রত্যাখ্যান করে। এটি করার একটি উপায় হ'ল নৃশংস বাহিনী অনুসন্ধান। আপনি ডিএফএর শুরুটি সবচেয়ে ছোট দিয়ে শুরু করুন। আপনি এক্সটি গ্রহণ করে এবং y প্রত্যাখ্যান করে এমন কোনও সন্ধান না করা …

23 automata-theory  dfa  fsm 

একটি নির্দিষ্ট সসীম বর্ণমালা জন্য , একটি আনুষ্ঠানিক ভাষা উপর হয় নিয়মিত যদি একটি বিদ্যমান নির্ণায়ক সসীম যন্ত্রমানব (DFA তে) উপর Σ যা ঠিক গ্রহণ করে এল ।এল ΣΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL আমি যে ভাষাগুলিতে "প্রায়" নিয়মিত সেগুলি সম্পর্কে আগ্রহী যেগুলি আকারের অটোমাতা পরিবারগুলির দ্বারা স্বীকৃত হতে পারে যা এই শব্দ দৈর্ঘ্যের সাথে …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

আমি ঠিক নিয়মিত ভাষা এলLL একটি বর্ণমালার উপর ΣΣ\Sigma এবং আমি নিম্নলিখিত সমস্যা বিবেচনা করুন যে আমি ফোন চিঠি সিডিউলিং জন্য এলLL । অনানুষ্ঠানিকভাবে, ইনপুটটি আমাকে প্রতিটি অক্ষরের জন্য এনnn অক্ষর এবং একটি অন্তর দেয় (যেমন, একটি ন্যূনতম এবং সর্বাধিক অবস্থান) এবং আমার লক্ষ্য প্রতিটি অক্ষরকে তার বিরতিতে এমনভাবে স্থাপন …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

এটি সর্বজনবিদিত যে নিম্নলিখিত সমস্যাটি PSPACE- সম্পূর্ণ: রেগুলার এক্সপ্রেশন দেওয়া , না এল ( β ) = Σ * ?ββ\betaএল ( β) = Σ*L(β)=Σ∗L(\beta) = \Sigma^* আর কি কি (নির্ধারিত) রেগুলার এক্সপ্রেশনের সমানতা নির্ণয় সম্পর্কে ?αα\alpha রেগুলার এক্সপ্রেশন দেওয়া , না এল ( β ) = এল ( α ) …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

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

21 fl.formal-languages  automata-theory  proofs  grammars 

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

20 computability  automata-theory  turing-machines 

সীমাবদ্ধ বর্ণমালা সিগমাতে নিম্নলিখিত শ্রেণীর "বৃত্তাকার" ভাষার সংজ্ঞা দিন। আসলে, নামটি ইতিমধ্যে ডিএনএ কম্পিউটিংয়ের ক্ষেত্রে ব্যবহৃত একটি পৃথক জিনিস বোঝাতে বোঝাচ্ছে। এএএএআইএফসিটি, এটি ভাষার বিভিন্ন শ্রেণি। একটি ল্যাঙ্গুয়েজ এল সব শব্দের জন্য বিজ্ঞপ্তি iff হয় মধ্যে , আমরা আছে:WwwΣ*Σ∗\Sigma^* k > 0 ডব্লু কেWww L এর সাথে সম্পর্কিত এবং কেবলমাত্র …

20 fl.formal-languages  automata-theory  regular-language 

আমি নিম্নলিখিত অনুমানটি প্রমাণ করতে (বা অস্বীকার) করতে চাই: অনুমান : একটি দুটি পাল্টা অটোমেটা (2 সিএ) নিম্নলিখিত ভাষাটি সিদ্ধান্ত নিতে পারে না: L={n∣L={n∣L = \{ n \mid এর তিন ও বাইনারি উপস্থাপনাnnn উভয় এমনকি দৈর্ঘ্য বা বিজোড় দৈর্ঘ্য আছে}}\} একটি 2 সিএ সহজেই যাচাই করতে পারে বাইনারি উপস্থাপনার সমান …

19 automata-theory 

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

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

প্রশ্ন সহজ এবং সরাসরি: একটি ফিক্সড বা অপরিবর্তিত কত (বিভিন্ন) ভাষাগুলির আকারের একটি DFA তে দ্বারা গৃহীত হয় (অর্থাত রাজ্যের)? আমি এটি আনুষ্ঠানিকভাবে জানাব:nnnnnnnnn একটি ডিএফএকে হিসাবে সংজ্ঞায়িত করুন , যেখানে সব কিছু যথারীতি এবং একটি (সম্ভবত আংশিক) ফাংশন। আমাদের এটি স্থাপন করা প্রয়োজন যেহেতু কখনও কখনও কেবলমাত্র মোট কার্যকারিতা …

19 co.combinatorics  fl.formal-languages  automata-theory  regular-language  dfa 

ডিএফএ-এর কোনও রাজ্যকে একক অবস্থায় প্রেরণকারী স্ট্রিং থাকলে ডিএফএ-এর একটি সিঙ্ক্রোনাইজিং শব্দ থাকে। এএন ট্র্যাটম্যানের ('ডিগ্রি ম্যাথমেটিক্স অ্যান্ড থিওরিটিকাল কম্পিউটার সায়েন্স ভলিউম ৯: ২, ২০০,, পিপি ৩৩-১০) দ্বারা' দ্য সার্নি কনজেকচার ফর এপিডিয়োডিক অটোম্যাটা "তে তিনি লিখেছিলেন, সের্নি 1964 সালে অনুমান করেছিলেন যে প্রতিটি এন-রাজ্যের সিঙ্ক্রোনাইজেবল ডিএফএ সর্বাধিক এর দৈর্ঘ্যের …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

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

19 automata-theory  regular-expressions  fl.formal-languages