但是 Python 的 re 是可以的。用\1 表示第一个捕获组。

按照计算理论来说，正则语法是 3 型语法，而 a^nba^n 是典型的 2 型语法。而且 2 型语法是 3 型语法的超集。所以理论上来说是匹配不了的。