问题标签 [context-sensitive-grammar]

我正在寻找描述以下语言的上下文相关语法：

我遇到了一个问题，即不允许使用诸如 X -> ε 之类的规则，因此我不能放置任何非终结符来指示单词的“中间”。这个问题有什么诀窍吗？
如果你碰巧知道答案，请帮忙。

如何构建生成这种语言的语法？构造一个生成 L 的文法：

我相信我的作品应该遵循以下原则：

我们的想法是从 2 c 开始并始终保持一个 c，然后使用 C->c|Cc ad 尽可能多的 c。我的 C 产品如何记住 m 和 n 的数字。

我阅读了这篇文章http://nikic.github.io/2012/06/15/The-true-power-of-regular-expressions.html，其中讨论了 pcre 及其与 chomsky 层次结构的关系。

他讨论了上下文相关语法，并指出 pcre 肯定支持某些上下文相关语言，但不清楚它是否支持所有上下文相关语言。他继续提供

作为上下文相关语法规则到 pcre 的可能音译，但请注意，lookbehinds 不支持可变宽度。这似乎意味着，如果 pcre 支持可变宽度后视，那么 pcre 可以编码所有上下文相关的语言。

*免责声明：我是一名正则表达式爱好者。

这让我想知道lookbehinds 是否可以转换为lookaheads（因为推测lookaheads 不受这种固定宽度限制的影响）。

然后我写了这个正则表达式作为上下文相关语法的可能替代实现，

至于我尝试过的更具体的案例，

也，

因为我并不清楚是否有关于“A”捕获是如何发生的要求（它是否需要是最外层的“分组”？）。

这两个正则表达式都匹配像“abbdefxyz”这样的字符串，但不匹配像“abbadefxyz”和“zdefxyz”这样的字符串。

这是语言：

L = { w belong {a,b,c}* | |w|= 3 * number(a) (w) }

那么，这是什么意思呢？

根据Scala 中的这个答案 =>，关键字有两种不同的含义：1表示函数类型：2表示创建 lambda 表达式：。Double => Double(x: Double): Double => 2*x

这与形式语法有什么关系，即这是否使 Scala 上下文敏感？

我知道大多数语言都不是上下文无关的，但我不确定我所描述的情况是否与此有关。

编辑：

似乎我对上下文相关语法的理解不够好。我知道生产规则应该是什么样子，以及它们的含义（“这个生产只适用于 A 被这些符号包围”），但我只是不确定它们与实际（编程）语言有何关系。

我认为我的困惑源于阅读了诸如“乔姆斯基引入这个术语，因为一个词的含义可能取决于它的上下文”之类的内容，并且我=>将引用中的“词”这个词联系起来，并且它的这两种用法是两个不同的上下文。

如果答案能解决我的困惑，那就太好了。

以下语法上下文是免费的吗？我的印象是，当解析器不需要解释已经解析的内容时，语法是上下文无关的。使用以下语法，这是不必要的，但是，我的同事确信它是上下文敏感的。

问题是如果不知道 X 是否在 Y 或 Z 内，您就无法确定需要匹配 X 的哪个替代项

你知道任何可以指定上下文相关语法的吗？例如 * 符号指针/乘法歧义解析。我正在寻找能够解决这种歧义的正式语言。我正在寻找的语言应该被很好地指定。

编辑：我正在寻找类似 BNF 的东西，但应该是上下文相关的，实际上它应该能够解决Dangling else问题。

嘿，我已经被这个问题困扰了几天，甚至在我的教科书中查看示例问题以及示例解决方案，我无法弄清楚如何使这个语法起作用。

给出该语言 L 的语法：

我知道这可能是一个模糊的问题，但我真的可以使用一些帮助来解决这个问题。

提前致谢！

一个如何限制上下文无关语法中元素的最大长度....您将如何构建规则以说只允许语言元素的长度为 7 或更短。

我知道有一种形式主义叫属性语法，还有一种非形式主义方法叫句法导向翻译，但前者效率低，后者难以自动化。

最近是否存在其他关于语义分析的形式主义？