Как механизм регулярных выражений анализирует регулярное выражение с рекурсивными подшаблонами для соответствия палиндро ⇐ Php

[Anonymous]

Это регулярное выражение соответствует палиндромам:

Код: Выделить всё

^((.)(?1)\2|.?)$

Не могу понять, как это работает.
Когда заканчивается рекурсия и когда регулярное выражение выходит из рекурсивного подшаблона и переходит в «|. ?" часть?
редактировать: извините, я не объяснил \2 и (?1)

Код: Выделить всё

(?1)

— относится к первому подшаблону (самому себе)

Код: Выделить всё

\2

— обратная ссылка на совпадение второго подшаблона, то есть (.)
Пример выше написан на PHP. Соответствует как «abba» (без символа среднего палиндрома), так и «abcba» — имеет средний неотраженный символ.

Подробнее здесь: https://stackoverflow.com/questions/116 ... rns-to-mat