computer-science - 有没有用 "real"语言抽引引理的例子？

Question

pumping lemma是 regular languages 的属性(property)和 context-free languages .但我见过的所有例子都是这样的:

L = {0n1n2n : n ≥ 0}

(顺便说一句，这不是一种上下文无关的语言)。

但我感兴趣的是:是否有任何远程真实或有用语言使用它的示例？我一直找不到。这是其中之一还是纯粹的理论值(value)而绝对没有实际应用？

Answer 1

L = {0n1n : n ≥ 0} 是一种上下文无关语言。

表达式中的括号匹配可以被认为是相似的形式，即

L = { (n )n : n ≥ 0}