真正的现代正则表达式真正识别哪种语言？
每当存在具有反向引用的无限长度捕获组(例如(.*)_\1)时,正则表达式现在匹配非常规语言.但是,就其本身而言,这还不足以匹配诸如S ::= '(' S ')' | ?匹配对的parens的无上下文语言.
递归正则表达式(对我来说是新的,但我确信存在于Perl和PCRE中)似乎至少能识别出大多数CFL.
有没有人在这方面做过或读过任何研究？这些"现代"正则表达的限制是什么？对于LL或LR语法,他们是否严格认可或严格低于CFG？或者是否存在可以被正则表达式识别而不是CFG 而且相反的语言？
非常感谢与相关论文的链接.