Regular Expressions учебник
Начало работы с регулярными выражениями

Для многих программистов регулярное выражение - это своего рода волшебный меч, который они бросают, чтобы решить любую ситуацию синтаксического анализа текста. Но этот инструмент не волшебный, и хотя он отлично подходит к тому, что он делает, он не является полнофункциональным языком программирования ( т. Е. Он не является Turing-полным).

Что означает «регулярное выражение»?

Регулярные выражения выражают язык, определяемый регулярной грамматикой, которая может быть решена недетерминированным конечным автоматом (NFA), где согласование представлено состояниями.

Регулярная грамматика - самая простая грамматика, выраженная Иерархией Хомского .

Проще говоря, регулярный язык визуально выражается тем, что может выразить NFA, и вот очень простой пример NFA:

Язык регулярных выражений является текстовым представлением такого автомата. Этот последний пример выражается следующим регулярным выражением:

^[01]*1$

Которая соответствует любой строке, начинающейся с 0 или 1 , повторяя 0 или более раз, которая заканчивается на 1 . Другими словами, это регулярное выражение, чтобы соответствовать нечетным числам из их двоичного представления.

Являются ли все регулярные выражения регулярной грамматикой?

На самом деле это не так. Многие механизмы регулярных выражений улучшены и используют push-down automata , которые могут складываться и выгружать информацию по мере ее запуска. Эти автоматы определяют так называемые контекстно-свободные грамматики в иерархии Хомского. Наиболее типичным использованием в нерегулярном регулярном выражении является использование рекурсивного шаблона для сопоставления скобок.

Рекурсивным регулярным выражением, подобным приведенному ниже (что соответствует скобке), является примером такой реализации:

{((?>[^\(\)]+|(?R))*)}

(этот пример не работает с питона re двигателем, но с regex двигателя или с двигателем PCRE ).

Ресурсы

Для получения дополнительной информации о теории регулярных выражений вы можете обратиться к следующим курсам, предоставленным MIT:

• Автоматы, вычислимость и сложность
• Регулярные выражения и грамматики
• Указание языков с регулярными выражениями и контекстно-свободные грамматики

Когда вы пишете или отлаживаете сложное регулярное выражение, есть онлайн-инструменты, которые могут помочь визуализировать регулярные выражения как автоматы, такие как сайт debuggex .

PCRE

_{Используется: PHP 4.2.0 (и выше), Delphi XE (и выше), Julia , Notepad ++}

Perl

.СЕТЬ

_{Языки: C #}

Джава

JavaScript

питон

Oniguruma

Увеличение

POSIX

_{Языки: Bash}