অর্ধ ভাষার জটিলতা

কোন ভাষায় জন্য উপর , নির্ধারণ কথায়, সব নিয়ে গঠিত , যার জন্য একটা হল সমান দৈর্ঘ্য যেমন যে এর । $L$ $\Sigma^*$

L_{1 / 2} = {x \in Σ^{*} : x y \in L, y \in Σ^{| x |}} .

$L_{1/2} = \{x \in \Sigma^* : xy\in L, y\in\Sigma^{|x|} \}.$

L_{1 / 2}

$L_{1/2}$

x

$x$

y

$y$

x y \in L

$xy\in L$

Sipser এর বই একটি ব্যায়াম দেখাতে হবে যে জিজ্ঞেস করে নিয়মিত যখনই হয়। আমি দুটি স্বতন্ত্র সমাধান দেখেছি এবং উভয় ক্ষেত্রেই রাজ্যের ঘন ঘন ঘা জড়িত। $L_{1/2}$ $L$

প্রশ্ন: করতে পারেন যে কেউ ভাষার পরিবার গঠন করা যেমন যে জন্য ক্যানোনিকাল যন্ত্রমানব উল্লেখযোগ্যভাবে (বলুন, ব্যাখ্যা মূলকভাবে) যে জন্য চেয়ে বড় ? আমার সবচেয়ে ভাল প্রচেষ্টা এতদূর শুধুমাত্র রাষ্ট্র দ্বারা আকার বৃদ্ধি ! $\{L_n\}$ $(L_n)_{1/2}$ $L$ $+1$

fl.formal-languages automata-theory

— Aryeh
সূত্র

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

— vzn

প্রমাণগুলির মধ্যে থাকা নির্মাণগুলি বিমূর্ত এবং এটি কীভাবে স্ট্যান্ডার্ড কৌশলগুলির মাধ্যমে তাদের হ্রাস করা যায় তা মোটেও পরিষ্কার নয়।

— আরেহ

আপনি যে ভাষা খুঁজে পেয়েছেন তার সেরা পরিবার পোস্ট করতে পারেন?

— দিয়েগো ডি এস্ট্রাদ

এটি আপনার প্রশ্নটির জবাব দিতে রেকর্ড নয় তবে এটি নির্মাণগুলি স্কেচ করতে সহায়ক হতে পারে। অন্য বিকল্পটি র্যান্ডম এফএসএমগুলি দিয়ে সমস্যাটিকে অভিজ্ঞতার সাথে আক্রমণ করা

— ভিজেএন

মাইক ডোমারাতজকির কাগজ দেখুন, আনুপাতিক অপসারণের রাজ্য জটিলতা

http://dl.acm.org/citation.cfm?id=782471

http://www.cs.umanitoba.ca/~mdomarat/pubs/sc_jalc.ps

— জেফ্রি শালিট
সূত্র

Ω (e^{\sqrt{n \log n}})

$\Omega(e^{\sqrt{n\log n}})$

O (n e^{\sqrt{n \log n}})

$O(n e^{\sqrt{n\log n}})$