外面一个“简单”的语言

12

我正在寻找具有以下属性的语言L：

L不应与上下文无关。
L的补码不应无上下文限制。（您在教科书中看到的所有内容都是非上下文无关语言的主要示例，似乎没有达到第二个要求。）
L不应太难，例如，我知道不确定的语言符合前两个要求，但是我想要的是一种可以通过稍微“改进”的自动机模型（例如概率下推式自动机）识别的简单语言。

fl.formal-languages automata-theory

— 塞姆说
source

15

这是另一个示例：

$\mathtt{L} = \{ x\#y \mid x \in \mathtt{EQ},y \in \overline{\mathtt{EQ}} \}$
$\mathtt{EQ}=\{ a^nb^nc^n \mid n \geq 0 \}$ $\overline{\mathtt{EQ}}$ $\mathtt{EQ}$

$\mathtt{EQ}$ $\mathsf{CFL}$

假设被PDA 识别。我们构造一个新的PDA 。在输入，在字符串上模拟。由于清楚地认识，我们的结论是。 $\mathtt{L}$ $\small \mathcal{P_1}$ $\small \mathcal{P}'$ $w$ $\small \mathcal{P}'$ $\small \mathcal{P}_1$ $w\#a$ $\small \mathcal{P}'$ $\mathtt{EQ}$ $\mathtt{L} \notin \mathsf{CFL}$

$\mathtt{L}$ $\small \mathcal{P}_2$ $\small \mathcal{P}''$ $w$ $\small \mathcal{P}''$ $\small \mathcal{P}_2$ $\#w$ $\small \mathcal{P}''$ $\mathtt{EQ}$ $\mathtt{L}$ $\mathsf{coCFL}$

$\mathtt{EQ}$ 可以由（单向）概率单计数器自动机（P1CA）识别，并具有任何所需的误差范围（Freivalds ，1979）。因此，不难证明也可以由具有任何所需错误界限的P1CA识别。 $\mathtt{L}$

— Abuzer Yakaryilmaz
source

比Dominik的答案更好，因为它还描述了识别该语言的PPDA！（Dominik是一种提示语言，我不知道如何构建一个在提示语言方面优于PDA的PPDA。）

— Cem说

@CemSay：Kandep等人也无法识别带有有限错误的任何提示不规则语言。

— Abuzer Yakaryilmaz

22

如何？很容易看到及其补码不是规则的，因此（正如我们在处理一元字母时）不是上下文无关的。 $L:=\{a^{n^2}\mid n\in\mathbb{N}\}$ $L$

— 多米尼克·弗雷登伯格
source

就是这样，谢谢。这是我的问题所要提出的，因此，我接受了，但是我非常感谢其他示例。

— Cem说

4

$QSAT$ 或什至都是示例，除非分别为或。是一个例子，因为它是 -complete和。 $SAT$ $P = PSPACE$ $P = NP$ $SAT$ $NP$ $CFL \subseteq P$

$QSAT$ （真实的量化布尔公式）是，并且是CSL，可由LBA识别。 $PSPACE$

对于无条件的示例，您可以采用任意问题，例如广义Chess或Go。 $EXP$

— 迈克·B。
source

是的，谢谢，但是，请问任何更简单的方法，最好是P类的方法？

— Cem说