প্রশ্ন ট্যাগ «fl.formal-languages»

এই অটোমেটনের এল ( এম ) দ্বারা গৃহীত ভাষাটি একটি নির্বিচারবাদী প্রসঙ্গ-মুক্ত ভাষা এবং একটি নির্বিচারে পুশডাউন অটোমেটন এন আউটপুট দেয় যা ঠিকভাবে গ্রহণযোগ্য ভাষা গ্রহণ করে এমন প্রতিশ্রুতি সহ একটি অ্যালগরিদম তৈরি করা সম্ভব যা ইনপুট হিসাবে একটি পুশডাউন অটোমেটন গ্রহণ করে with এম দ্বারা ?এমMMএল ( এম)L(M)L(M)এনNNএমMM সমতুল্য …

11 reference-request  computability  fl.formal-languages  automata-theory 

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

11 fl.formal-languages 

প্রোব্যাবিলিস্টিক অটোমেটার এবং তারা কী চিনে (শব্দের থেকে নির্দিষ্ট ফাংশন ) এর একটি পরিচিতি আমি কোথায় পাব ? প্রাব্যাবিলিস্টিক অটোমেটা দ্বারা স্বীকৃত এই জাতীয় ফাংশনগুলির জন্য কি কোনও স্ট্যান্ডার্ড শব্দ রয়েছে যা "নিয়মিত ভাষাগুলি" অনুসারে ডিটারিস্টোনিক সসীম অটোমেটা (ডিএফএ) স্বীকৃতি দেয়?[0,1][0,1][0,1] আমি এমন কিছু সন্ধান করছি যা ডিএফএ এবং নিয়মিত …

10 reference-request  fl.formal-languages  probabilistic-automata 

একটি নম্বর দেওয়া যাক । নিম্নলিখিত ভাষা বিবেচনা করুন ।এল এন = {nnnLn={ww|w∈{0,1}n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} কথায় কথায়, দৈর্ঘ্য এর কপির স্ট্রিংগুলির সেট । 2 এনLnLnL_n2n2n2n বিবেচনা করুন নিম্নলিখিত রাষ্ট্র জটিলতা ফাংশন যেমন যে ক্ষুদ্রতম Pushdown অটোমাটা মধ্যে রাজ্যের সংখ্যা স্বীকার …

10 fl.formal-languages  automata-theory  grammars  context-free 

বিভাজন সমস্যা হিসাবে পরিচিত আনুষ্ঠানিক ভাষাগুলিতে একটি ওপেন সমস্যা রয়েছে; দৈর্ঘ্য এর দুটি স্বতন্ত্র স্ট্রিং হিসাবে সংক্ষেপে বলা হয়েছে , ডিএফএর কতগুলি বড় তাদের "পৃথক" করতে হয়, যার অর্থ একটি স্ট্রিং গ্রহণ করে তবে অন্যটি প্রত্যাখ্যান করে।nnn এখানে কিছু প্রাসঙ্গিক কাগজপত্র 1 , 2 । (আমার আরও কিছু আছে তবে …

10 fl.formal-languages  automata-theory 

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

10 fl.formal-languages  automata-theory 

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

10 fl.formal-languages  computability  machine-models 

একটি নির্ণায়ক যন্ত্রমানব বলা হয় ট -local জন্য ট > 0 প্রত্যেক যদি W ∈ এক্স ট সেট { δ ( কুই , W ) : কুই ∈ প্রশ্ন } সর্বাধিক ধারণ করে একটি উপাদান Intuitively একটি শব্দ মানে যে W দৈর্ঘ্যের ট একটি রাষ্ট্র বাড়ে, তাহলে এই রাষ্ট্র অনন্য, …

10 fl.formal-languages  automata-theory  synchronization 

ন্যানসি লিঞ্চের "ডিস্ট্রিবিউটড অ্যালগরিদম" বইয়ের ১৩ তম অধ্যায় "অ্যাটমিক অবজেক্টস"-এ লিনিয়ারাইজিবিলিটি (যা পারমাণবিকতা নামেও পরিচিত) একটি সুরক্ষার সম্পত্তি হিসাবে প্রমাণিত হয়েছে। এটি বলার অপেক্ষা রাখে না যে এর সাথে সম্পর্কিত ট্রেস সম্পত্তি অমান্য, উপসর্গ-বন্ধ, এবং সীমা-বদ্ধ , অধ্যায় 8.5.3-এ সংজ্ঞায়িত করা হয়েছে। অনানুষ্ঠানিকভাবে, একটি সুরক্ষা সম্পত্তি প্রায়শই বলে দেওয়া হয় …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

একটি খালি ভাষা বিবেচনা করুন দৈর্ঘ্য বাইনারি স্ট্রিং এন । আমি বর্ণনা করতে পারেন এল একটি বুলিয়ান বর্তনী সঙ্গে সি সঙ্গে এন ইনপুট এবং এক আউটপুট যেমন যে সি ( W ) সত্য iff হয় W ∈ এল : এই সুপরিচিত হয়।এলLLএনnnএলLLসিCCএনnnসি( ডাব্লু )C(w)C(w)W ∈ এলw∈Lw \in L যাইহোক, আমি …

10 fl.formal-languages  circuit-complexity 

যাক একটি প্রেক্ষাপটে মুক্ত ভাষা হতে। নির্ধারণ এর প্রাক এবং পোস্টসাফিক্স অবসান হতে , অন্য কথায়, সব রয়েছে এর উপসর্গ এবং postfixes, তাই নিজেই। আমার প্রশ্ন: যদি প্রসঙ্গমুক্ত হয় এবং একটি দ্বি-দ্বিবিজ্ঞান ব্যাকরণ থাকে তবে কি একই সত্য ?এলএলLপি পি সি ( এল )পিপিগ(এল)ppc(L)এলএলLপি পি সি ( এল )পিপিগ(এল)ppc(L)এলএলLএলএলLএলএলLপি পি …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

আমি নিয়মিত ভাবগুলি অটোমেটায় রূপান্তর করার জন্য অ্যালগরিদমগুলির একটি শ্রদ্ধার সন্ধান করার চেষ্টা করছি যাতে নির্দিষ্ট ডোমেনগুলিতে তাদের জটিলতার বৈশিষ্ট্যের কিছু অনুশীলনমূলক পরীক্ষা করা যায়। আমি বেশ কয়েকটি 'বড়' নাম সম্পর্কে অবগত, যেমন, থম্পসন "নিয়মিত এক্সপ্রেশন অনুসন্ধান অ্যালগরিদম", থম্পসন, 1968 Glushkov "একটি নিয়মিত এক্সপ্রেশনকে একটি অটোমেটনে রূপান্তর করার জন্য একটি …

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

নির্ধারিত প্রসঙ্গবিহীন ভাষা (ডিসিএফএল) এবং দৃশ্যমান পুশডাউন ল্যাঙ্গুয়েজ (ভিপিএল) উভয় প্রসঙ্গ-মুক্ত ভাষা (সিএফএল) এবং নিয়মিত ভাষা (আরইজি) এর মধ্যে আনুষ্ঠানিক ভাষার সেট। সিডিএফএল-এর ব্যাকাস-নওর-ফর্মের মতো এবং আরইজি-র জন্য নিয়মিত প্রকাশের মতো সরল ASCII তে প্রকাশ করার মতো একটি স্বরলিপি আছে কি?

10 fl.formal-languages 

আরে অল, আমি বর্তমানে অটোমাটা তত্ত্বের কিছু শাখা বা আনুষ্ঠানিক ভাষার সাথে সম্পর্কিত একটি কঠিন মাস্টার্স থিসিস বিষয় সন্ধানের চেষ্টা করছি। আমি গ্রহণযোগ্য বিষয় কী হবে, সে জন্য কিছু উচ্চতর ধারণা তৈরি করার চেষ্টা করছি, কিছু উচ্চাভিলাষী তবে একই সময়ে করণীয় কিছু। কোন পরামর্শ খুব প্রশংসা হবে!

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

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

10 fl.formal-languages  automata-theory  regular-language  nfa