小编Blu*_*ber的帖子

我正在尝试理解上下文敏感的语法,我理解为什么语言会像

1. {ww | w是一个字符串}
2. {a ⁿ b ⁿ c ⁿ | a,b,c是符号}

不是上下文,但我想知道一个类似于无类型lambda演算的语言是否与上下文相关.我想看一个简单但非玩具的例子(我考虑上面的玩具示例),一个上下文敏感语法的例子,对某些生产规则,例如,告诉一些符号串是否可以目前处于范围内(例如,在生成函数体时).上下文敏感语法是否足够强大,可以使未定义/未声明/未绑定的变量成为语法(而不是语义)错误？