该泵引理是一个属性正规语言和上下文无关语言.但我见过的所有例子都是这样的:
L = {0 n 1 n 2 n:n≥0}
(顺便说一句,这不是一种无上下文的语言).
但我感兴趣的是:它是否有任何与远程实用或有用语言一起使用的例子？我找不到任何东西.这是其中一个还是纯粹的理论价值,绝对没有实际应用？
L = {0 n 1 n:n≥0}是无上下文的语言.
表达式中的括号匹配可以被认为是类似的形式,即
L = {(n )n:n≥0}
这个python程序是有效的：
print ((((((((((((((((((((((((1))))))))))))))))))))))))
以及(在左侧和)右侧具有相等数量的所有其他等效语句。
您无法构建正则表达式来验证这一点，因此您必须使用解析器。
这根本不是理论上的。这就是您不能使用正则表达式来解析 HTML 的原因。