LogDCFL完全问题

LogCFL是所有可缩减为上下文无关语言的日志空间的所有语言的集合。类似地，LogDCFL是所有日志空间可归结为确定性上下文无关语言的所有语言的集合。有关某些自然的LogCFL完全问题，请参阅此Wikipedia文章。还有其他一些有趣的LogCFL完全问题。我找不到任何自然的LogDCFL完全问题。命名任何自然的LogDCFL完全问题。

cc.complexity-theory complexity-classes

— 湿婆金塔利
source

出于好奇，请问您为什么对LogDCFL感兴趣？

— 迈克尔Cadilhac

我通常对有边界的计算感兴趣，并尝试了解LogDCFL。

— 席瓦·金塔利

以下语言是通常的LogCFL完整语言的略微调整，因此它是LogDCFL完整的。可以在Sudborough的“确定性上下文无关语言的磁带复杂性”中找到该证明。

设，。在下面的语言是LogDCFL完成。由单词 $\Sigma = \{(_1,(_2,)_1, )_2\}$ $T = \{[,],|\}$ $\Sigma \cup T$ $L$ 其中使得存在与或所有和在括号内是正确的。

w_{0} [（_{1个} 升_{1个} | （_{2} {[R}_{1个}] \dots [（_{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$

— 米歇尔·卡迪拉哈克（MichaëlCadilhac）
source