LogDCFL-complete sorunları

LogCFL , bağlam içermeyen bir dile günlük alanı azaltılabilen tüm diller kümesidir. Benzer şekilde LogDCFL, günlük alanı deterministik bağlamdan bağımsız bir dile indirgenebilen tüm diller kümesidir. LogCFL ile ilgili bazı doğal sorunlar için bu wikipedia makalesine bakın . LogCFL-complete ile ilgili birkaç ilginç sorun daha var. LogDCFL ile ilgili herhangi bir doğal problem bulamadım. Herhangi bir doğal LogDCFL-complete sorununu adlandırın.

cc.complexity-theory complexity-classes

— Shiva Kintali
kaynak

Meraktan, neden LogDCFL ile ilgilendiğinizi sorabilir miyim?

— Michaël Cadilhac

Genel olarak alan sınırlı hesaplama ve LogDCFL'yi anlamaya çalışıyorum.

— Shiva Kintali

Aşağıdaki dil, her zamanki LogCFL tam dilinden hafif bir değişikliktir, böylece LogDCFL tamdır. Kanıt, Sudborough'un Deterministik Bağlamdan Bağımsız Dillerin Kasette Karmaşıklığı'nda bulunabilir.

Let ve . Üzerinde aşağıdaki dil LogDCFL-tamamlandı. , kelimelerinden oluşur $\Sigma = \{(_1,(_2,)_1, )_2\}$ $T = \{[,],|\}$ $\Sigma \cup T$ $L$ burada olacak şekilde ile veya tümve için parantez içinde doğrudur.

w_{0} [(_{1} l_{1} | (_{2} r_{1}] ... [(_{1} l_{n} | (_{2} r_{n}]

$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$

— Michaël Cadilhac
kaynak