Problemi con LogDCFL-complete

LogCFL è l'insieme di tutte le lingue che sono spazi di log riducibili a un linguaggio privo di contesto. Allo stesso modo, LogDCFL è l'insieme di tutte le lingue che sono spazi di registro riducibili a un linguaggio senza contesto deterministico. Vedi questo articolo di Wikipedia per alcuni problemi naturali completi di LogCFL. Esistono molti altri interessanti problemi completi di LogCFL. Non sono riuscito a trovare alcun problema naturale completo con LogDCFL. Denominare qualsiasi problema naturale completo di LogDCFL.

cc.complexity-theory complexity-classes

— Shiva Kintali
fonte

Per curiosità, posso chiederti perché sei interessato a LogDCFL?

— Michaël Cadilhac,

Sono interessato al calcolo limitato dallo spazio in generale e sto cercando di capire LogDCFL.

— Shiva Kintali,

La lingua seguente è una leggera modifica del solito LogCFL completo in modo che sia LogDCFL completo. La prova può essere trovata nella complessità di On the Tape dei linguaggi deterministici senza contesto di Sudborough.

Sia e . La seguente lingua su è LogDCFL-complete. composto da parole dove tale che esiste con o per tutti e è tra parentesi corretta. $\Sigma = \{(_1,(_2,)_1, )_2\}$ $T = \{[,],|\}$ $\Sigma \cup T$ $L$

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
fonte