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

আমি একটি সাধারণ কৌশল খুঁজছি যা আমাকে প্রমাণ করতে সহায়তা করতে পারে যে বুচি অটোমাতা এলটিএল-এর চেয়ে বেশি ভাববাদী মডেল নয়, তবে নির্দিষ্ট সূত্রটি এলটিএলে প্রকাশ / প্রকাশ করা যায় না। উদাহরণস্বরূপ, " কমপক্ষে এমনকি পজিশনে দেখা দেয়" নিম্নলিখিত বুচি অটোমেটা দ্বারা বর্ণনা করা যেতে পারে: ( q 0 , …

11 lo.logic  automata-theory 

এই প্রশ্নের একটি সঙ্গে সম্পর্কযুক্ত সাম্প্রতিক প্রশ্ন দ্বারা Janoma । পটভূমি বাধ্যতা প্রোগ্রামিং, একটি নিয়মিত বিশ্বব্যাপী বাধ্যতা ccc একটি ডোমেইন উপর DDD একজোড়া হয় (s,M)(s,M)(s, M) সঙ্গে sss ভেরিয়েবল একটি tuple (স্কোপ) এবং MMM একটি DFA তে ডোমেইন উপর DDD । একটি কাজ θθ\theta থেকে গুলিss সন্তুষ্ট গcc যদি এমMM …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language 

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

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

Immerman (বর্ণনামূলক জটিলতা, 1999) উপহার মতিন পৃষ্ঠা 127. হিসাবে অস্তিত্ববাদের পরমাণুসদৃশ্য দ্বিতীয় অর্ডার (Ajtai-Fagin গেম) জন্য গেম শব্দের উপর MSO নিয়মিত ভাষায় সমতূল্য, খেলা নিম্নরূপ লেখা যেতে পারে।∃∃\exists একটি ল্যাঙ্গুয়েজ নিয়মিত যদি এবং কেবল যদি দলীলা নিম্নলিখিত গেম কোন বিজয়ী কৌশল আছে: 1. স্যামসন বেছে গ , মি ∈ এন …

11 lo.logic  automata-theory  descriptive-complexity 

সেখানে সঙ্গে একটি 2DFA হয় রাজ্যের (যেখানে এন nontrivial হয় বলে অন্তত 4) যে অন্তত প্রয়োজন 2 এন রাজ্যের যেকোন DFA ব্যবহার ভান কিভাবে?nnnnnn2n2এন2^n একটি দ্বি-মুখী DFA তে (2DFA) একটি নির্ণায়ক সসীম-স্টেট যন্ত্রমানব যে সসীম-স্টেট অটোমাটা যে শুধুমাত্র এক দিক ইনপুট মাথা যেতে পারেন অসদৃশ তার শুধুমাত্র-পঠনযোগ্য ইনপুট টেপ আগে …

11 automata-theory  lower-bounds 

এখানে বিবেচিত ট্রান্সডুসাররা সেই উইকিপিডিয়া কল করে সসীম স্টেট ট্রান্সডুসার্স । ট্রান্সডুসার এর আচরণ , অর্থাৎ যে সম্পর্কটি এটি গণনা করে, সেগুলি লেখা হয় [ টি ] : একটি শব্দ y হল x iff x [ T ] y এর আউটপুট ।টিTT[ টি][T][T]Yyyএক্সxxx [ টি] yx[T]yx[T]y প্রশ্ন: নিম্নলিখিত সমস্যাটি কি …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

একটি নম্বর দেওয়া যাক । নিম্নলিখিত ভাষা বিবেচনা করুন ।এল এন = {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 

বিশেষ করে আমি উপরন্তু দ্বারা বলতে চাচ্ছি, আমরা সংজ্ঞায়িত করা হয় বর্ণমালা হতে । কিছু বর্ণমালার অধীনে নিয়মিত ভাষা এবং দেওয়া , দেখুন । { 0 , 1 , 2 , । । । , i } A B Σ i A × BΣiΣi\Sigma_i{0,1,2,...,i}{0,1,2,...,i}\{0, 1, 2, ..., i\}AAABBBΣiΣi\Sigma_iA×BA×BA\times B প্রতিটি …

10 automata-theory 

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

10 fl.formal-languages  automata-theory  synchronization 

যাক একটি প্রেক্ষাপটে মুক্ত ভাষা হতে। নির্ধারণ এর প্রাক এবং পোস্টসাফিক্স অবসান হতে , অন্য কথায়, সব রয়েছে এর উপসর্গ এবং 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 

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

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

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

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