最近我注意到大多数编程语言的正则表达式引擎并不是形式语言理论意义上的正则表达式的忠实实现。前瞻和后瞻等特性支持上下文无关文法的匹配，这是常规文法的超集。
然而，更有趣的是，许多正则表达式引擎可以匹配某些上下文相关的语言。本文提供了一些示例：https ://www.npopov.com/2012/06/15/The-true-power-of-regular-expressions.html#context-sensitive-grammars
作者质疑 PCRE 是否可以匹配所有上下文相关的语言，而不仅仅是其中的一些。任何人都可以对此有所了解（最好通过正式证明）？