可确定的非上下文敏感语言

可以说大多数用来描述日常问题的语言都是上下文相关的。另一方面，有可能并且不难找到一些不是递归的，甚至不是递归可枚举的语言。

在这两种类型之间是递归的非上下文敏感语言。维基百科在这里举了一个例子：

不依赖上下文的递归语言的一个示例是其决策是EXPSPACE难题的任何递归语言，例如具有幂运算的一对等价正则表达式对。

那么问题就来了：还有哪些其他问题是可以确定的，但对上下文不敏感？这类问题是否与可判定的EXPSPACE-hard相同？

CSL与$\mathsf{NSpace}(n)$（不确定的线性空间）相同。这是外部的任何语言不是CSL。$\mathsf{NSpace}(n)$

要获取的情况下的感觉，记得，甚至TQBF。$SAT \in \mathsf{NSpace}(n)$

还有哪些其他问题是可以确定的，但对上下文不敏感？

有很多问题。对于大于的复杂性类别而言，完成的任何问题都将发生（我们需要P S p a c e，因为诸如N S p a c e（n ）中的TQBF之类的问题对于P S p a是完整的ç $\mathsf{PSpace}$$\mathsf{PSpace}$$\mathsf{NSpace}(n)$$\mathsf{PSpace}$因为（多项式时间）减少会炸毁多项式的输入大小）。举一个例子将意味着证明包含该问题的复杂性等级的下限，这是非常困难的任务。到目前为止，我们知道的唯一主要方法是对角化，这直观地意味着较大的类别应该能够模拟较小的类别。

所以似乎是一个自然的地方开始寻找不属于CSL语言的自然例子。$\mathsf{ExpSpace\text{-}hard}$

这类问题是否与可判定的EXPSPACE-hard相同？

否。根据空间层次定理，有些语言处于而不是N S p a c e（n ）。如果您要寻找好的示例，这将很困难，因为该定理使用对角线化，因此证明满足这些条件的语言是非常人为的。$\mathsf{NSpace}(n^2)$$\mathsf{NSpace}(n)$

我建议您提出一个自然问题的单独问题，该问题将与N S p a c e（n ）分开。$\mathsf{NSpace}(n^2)$$\mathsf{NSpace}(n)$

就像是上下文无关，但不正规，语言大号= { 一个Ñ b Ñ Ç Ñ：Ñ ≥ 0 }是可判定的，但不是上下文无关。但是，L可以使用对数空间来求解（您只需要对符号a，b和c使用一个计数器），因此它不是EXSPACE难点。$\{a^nb^n:n\geq 0\}$$L=\{a^nb^nc^n:n\geq 0\}$$L$$a$$b$$c$

此外，语言，其中[R 1和- [R 2是正则表达式，是PSPACE完全问题。我几乎可以确定它不是上下文敏感的，但是我不记得有证据，而且我正在用手机写东西，因此要查找参考文献并不容易。$\{(r_1,r_2):L(r_1)=L(r_2)\}$$r_1$$r_2$