Проблеми, заповнені LogDCFL

LogCFL - це набір усіх мов, які можна змінити в просторі журналів до безконтекстної мови. Аналогічно, LogDCFL - це набір усіх мов, які можна змінити в просторі журналів до детермінованої без контексту мови. Дивіться цю статтю у Вікіпедії щодо деяких природних проблем, повних LogCFL. Є кілька інших цікавих проблем, повних LogCFL. Я не міг знайти жодних природних проблем, повних LogDCFL. Назвіть будь-яку природну проблему з LogDCFL.

cc.complexity-theory complexity-classes

— Шива Кінталі
джерело

З цікавості, я можу запитати, чому ви зацікавлені в LogDCFL?

— Michaël Cadilhac

Мене цікавлять обчислення з обмеженим простором в цілому і намагаюся зрозуміти LogDCFL.

— Шива Кінталі

Наступна мова - це незначне налаштування звичайного завершення LogCFL, так що воно є LogDCFL завершеним. Доказ можна знайти в книжці "Стрічка складності детермінованих контекстних мов" Садборо.

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

ш_{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$

— Міхаель Каділхак
джерело