В чем сила регулярных выражений?

Судя по названию, мы можем думать, что регулярные выражения могут соответствовать только регулярным языкам. Но регулярные выражения, которые мы используем на практике, содержат вещи, которые, я не уверен, можно реализовать с их теоретическими аналогами. Как, например, вы смоделируете обратную ссылку? Возникает вопрос: какова теоретическая сила регулярных выражений, которые мы используем на практике? Можете ли вы придумать способ сопоставить {(a ^ n) (b ^ n) | n> = 0} ? А как насчет {(a ^ n) (b ^ n) (c ^ n) | n> = 0} ?