无上下文语言规则性的充分条件

最好收集一系列条件，这些条件暗示上下文无关的语言L是规则的，即形式为以下条件：“如果给定的CFG / PDA具有属性P，则其语言是规则的”

属性P不必表征生成常规语言的CFG。此外，P不必是可确定的，P应该“某种程度上取决于”与上下文无关的语言（“ L的句法半形词是有限的”，“ L在空间o（log log n）中是可确定的”，依此类推）上，这不是我要找的东西。

reference-request fl.formal-languages regular-language context-free survey

— h
source

似乎一般性问题尚不确定。类似的是，还有其他定理“实际上是B”，其中A是比B“更小”的语言类别，这是不确定的。我记得这里有一个类似CFL的问题，但现在找不到。

— vzn 2012年

您所说的“常规性”，真的是一种常规语言，对吗？

— vzn2012年

确定找到它。这个问题与这个问题非常相似，“实际上是CFG是RL”，并且众所周知，这是无法确定的

— vzn 2012年

o (n l o g n)

$o(n log n)$

同意，区分是有效的。但同时了解一般问题尚不确定，这也是至关重要的。“充分条件”通常与算法紧密相关，例如，在您给出的时间复杂度为o（n lg n）的示例中。

— vzn 2012年

每种一元无上下文语言都是常规的。（例如，帕里克定理的直接结果）
$X ü^{ñ} ÿ v^{ñ} ž \in 大号，对所有人 ñ \geq 0 ⟹ X ü^{一世} ÿ v^{Ĵ} ž \in 大号，对所有人一世， Ĵ \geq 0。$ $xu^nyv^nz \in L, \text{for all } n \geq 0 \implies xu^iyv^jz \in L, \text{ for all }i,j \geq 0.$
如果上下文无关的语言是可交换且线性的，则它是常规的。（Ehrenfeucht，Haussler，Rozenberg，“关于上下文无关语言的规则性”，1983年）

— h
source