Questions tagged «context-free-languages»

在许多涉及上下文无关文法（CFG）的论文中，在那里出现的此类文法示例经常承认对其生成语言的简单刻画。例如： S→aaSbS→aaSbS \to a a S b S→S→S \to 生成，{a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} S → a a S b S →S→aSbS→aSbS \to a S b S→aaSbS→aaSbS \to a a S b S→S→S \to 生成，然后{aibj∣i≥j≥0}{aibj∣i≥j≥0}\{ a^i b^j \mid i \geq j \geq 0 \} S → b S …

25 fl.formal-languages  context-free  context-free-languages 

我想知道，是否有任何有关可见下推自动机的论文或研究，但允许将单词而不是单个字母推到堆栈上。 替代地，允许符号在过渡上被推动的构造可以实现相同的目标。ϵϵ\epsilon 显然，可以形成这种变化，但是我想知道是否会破坏使VPA变得有趣的闭合性和可判定性。 我正在寻找一种使用堆栈作为计数器的构造，该构造将根据读取的初始符号将其递增常量，然后根据读取的其他符号进行递减计数。 对于任何不知道的人，显然下推自动机是指可以将字母分为推入符号，弹出符号和完全不影响堆栈的符号的自动下注自动机。推还是弹出的选择完全取决于正在读取的当前符号。它们在交点，并集，串联，星号和补码下关闭，从而赋予它们丰富的可确定属性。有关更多信息，请参见本文。

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

编辑（作者塔拉·B）：我仍然希望提及这一证明，因为我必须自己为自己的论文证明这一点。 我正在寻找本文中出现的定理4的证明： 刘和韦纳的无上下文语言交叉口的无限层次。 定理4：一种维仿射歧管是不表达为仿射歧管的有限联合其中的每一个是尺寸ñ - 1或更小。nnnn−1n−1n-1 有人知道参考证明吗？ 如果流形是有限的，并且我们在元素上定义了自然顺序，那么关于晶格是否有任何类似的陈述？ 了解该定理的一些背景： 定义：设为有理数的集合。一个子集中号⊆ Q Ñ是一个仿射歧如果（λ X + （1 - λ ）Ý ）∈ 中号时，，和。QQ\mathbb{Q}M⊆QnM⊆QnM\subseteq \mathbb{Q}^n(λx+(1−λ)y)∈M(λx+(1−λ)y)∈M(\lambda x+(1-\lambda)y)\in Mx∈Mx∈Mx\in My∈My∈My\in Mλ∈Qλ∈Q\lambda\in\mathbb{Q} 定义：如果对于一些，则仿射流形被认为与仿射流形平行。M′M′M'MMMM′=M+aM′=M+aM'=M+aa∈Qna∈Qna\in \mathbb{Q}^n 定理：每个非空仿射歧管平行于独特子空间。该由M⊆QnM⊆QnM\subseteq \mathbb{Q}^nKKKKKKK={x−y:x,y∈M}K={x−y:x,y∈M}K=\{x-y:x,y\in M\} 定义：该尺寸非空仿射歧管的平行于它的子空间的维数。

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

令为上下文无关的语言。限定p p Ç （大号）是的前和后缀闭合大号，换句话说，p p Ç （大号）包含所有的大号前缀和后缀，并且因此的大号本身。我的问题是：如果L是上下文无关的并且具有明确的语法，那么p p c （L ）是否也是如此？大号LLp p Ç （大号）ppc(L)ppc(L)大号LLppc(L)ppc(L)ppc(L)LLLLLLLLLppc(L)ppc(L)ppc(L) 我相信这种基本问题已经在语言理论的鼎盛时期得到了解决，但是我找不到合适的参考。

10 fl.formal-languages  automata-theory  grammars  context-free-languages