Коли регулярне вираження не є регулярним виразом?

Оскільки я навчаюсь на моєму курсі офіційного мовного коледжу, я натрапив на ці захоплюючі пости ( One Two ), в яких описано, як знайти просте число за допомогою regexp . Як я вже сказав, регулярний вираз , а не регулярний вираз . Так як регулярний вираз може відповідати рядкам , обчислених кінцевого безліч станів автоматів і знайти просте число , не може бути зроблено з допомогою FSA, регулярний вираз показано в блозі не є повністю регулярним виразом , оскільки вона відступає , щоб відповідати рядку.

Оскільки я ніколи не використовував жодного регулярного вираження, тепер, моє запитання:

Як я можу негайно розпізнати регулярний вираз із "справжнього" регулярного виразу, просто подивившись на нього?

Визначення: Під регулярним виразом я позначаю поняття, визначене в формальних мовах. Під терміном regexp я маю на увазі поняття, підтримуване сучасними мовами програмування; синтаксис regexp часто містить додаткові функції, наприклад, зворотні. Regexps, як видно з мов програмування, є суворо потужнішим, ніж формальні вирази у формальних мовах.

tl; dr backrefs.

Як тільки в \1регулярному вираженні з'являється (або будь-яке число, яке не використовується для виходу Unicode), це не є регулярним виразом.

Backrefs дозволяє вам зіставляти (a+)b\1відповідність n разів, aа потім b, а потім n разів aдля будь-якого n> 1. Це не звичайна мова (це дитина-постер з незвичної мови).

Необхідно і майже достатньо, щоб backref посилався на групу, яка містить регулярний вираз, який відповідає довільно довгим рядкам або що містить *або +. Єдиний виняток (який я знайшов) з регулярним виразком форми, (A)B\1де A є кінцевою мовою (може бути замінено перерахуванням усіх слів, які їх приймають). Ви можете конвертувати його в word1+Bword1|word2+Bword2ін., Оскільки A кінцевий.

Оглядові групи не знімають регулярність регулярного виразу. A(?=B)C- це поперечний переріз регулярних виразів, AB.*а ACпереріз двох звичайних мов є регулярним. Негативний пошук є подібним, за винятком використання доповнення B.*(доповнення звичайних мов, що є регулярними). Зовнішній вигляд точно такий же, як і A(?<=B)Cпереріз ACі .*BC.