লগডিসিএফএল-সম্পূর্ণ সমস্যা

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

cc.complexity-theory complexity-classes

— শিব কিন্তালী
সূত্র

কৌতূহলের বাইরে, আমি জিজ্ঞাসা করতে পারি যে আপনি লোগডিসিএফএলে আগ্রহী কেন?

— মিশেল ক্যাডিলহ্যাক

আমি সাধারণভাবে স্থান-সীমিত গণনায় আগ্রহী এবং লগডিসিএফএল বোঝার চেষ্টা করছি।

— শিব কিন্তালি

নীচের ভাষাটি লগসিএফএল সম্পূর্ণ হওয়ার জন্য একটি সাধারণ সাম্প্রতিক টুইট হয় যাতে এটি লগডিসিএফএল সম্পূর্ণ হয়। প্রমাণটি সুদবরোসের অন টেপ কমপ্লেসিটিটি অফ ডিটারিস্টিনিস্টিক কনটেক্সট-ফ্রি ল্যাঙ্গুয়েজে পাওয়া যাবে।

$\Sigma = \{(_1,(_2,)_1, )_2\}$ $T = \{[,],|\}$ $\Sigma \cup T$ $L$

W_{0} [(_{1} ঠ_{1} | (_{2} R_{1}] ... [(_{1} ঠ_{এন} | (_{2} R_{এন}]

$w_0\left[(_1l_1|(_2r_1\right]\ldots\left[(_1l_n|(_2r_n\right]$

w_{0}, l_{i}, r_{i} \in Σ^{*}

$w_0, l_i, r_i \in \Sigma^*$

w_{1}, \dots, w_{n}

$w_1, \ldots, w_n$

w_{i} = (_{1} l_{i}

$w_i = (_1l_i$

w_{i} = (_{2} r_{i}

$w_i = (_2r_i$ সবার জন্য

i \geq 1

$i \geq 1$ এবং

w_{0} w_{1} \dots w_{n}

$w_0w_1\ldots w_n$ মাতৃভাষায় সঠিক।

— মিশেল ক্যাডিলহ্যাক
সূত্র