Регулярні вирази

Наша взаимовыгодная связь https://banwar.org/

Тепер знову звернемося до теми, в зв'язку з якою розглядалися NFA-авто-мати. Поговоримо про регулярні вирази. Перш за все, згадаємо, що вони собою представляють. По суті, регулярні вирази (regular expression) - це міні-мову простого опису шаблону, призначеного для пошуку тексту (або, якщо говорити більш строго, збігається з ним тексту). У найпростішій формі регулярний вираз складається з слова або набору символів, Однак, використовуючи стандартні метасимволи (або символи операцій регулярного виразу), можна виконувати пошук більш складних шаблонів. Стандартними метасимвол є п.щ (відповідає будь-якому символу, крім символу нового рядка), w? W (відповідає нулю або більше повторень попереднього подвираженія), "* п (відповідає нулю або більше повторень попереднього подвираженія), і + п (відповідає одному або більше повторень попереднього подвираженія) і w | " (Символ операції АБО, яка встановлює відповідність з лівим або з правим подвираженіем). Можна визначити також клас символу для установки відповідності з одним з наборів символів. Якщо першим символом класу символів є ПЛП, це означає заперечення класу. Тобто символи класу не повинні збігатися з іншими символами набору.

Правила подання регулярних виразів, з якими ми будемо працювати, показані на рис. 10.5. Вони записані в стандартній формі BNF (Backus-Naur Form - форма Бекуса-Наура, БНФ). ": Означає" визначено як ", а" | "означає" АБО ". Отже, перший рядок означає наступне: <вираз> є або <членом>, або <членом>, за яким слід символ вертикальної риски, а за ним - ще одне <вираз>. Другий рядок означає: <член> - це або <кое $ фициент>, або <коефіцієнт ^ за яким слід <член>, і т.д. це визначення граматичних правил (вони називаються "граматичними", оскільки визначають мова. Якщо звернутися до довідкової системи Delphi, в ній можна знайти граматичні правила мови Object Pascal. Вони визначені таким же чином.) може використовуватися для генерування підпрограми обчислення регулярного виразу. Незабаром ми побачимо, як це робиться. А поки візьміть до уваги, що визначення граматичних правил може використовуватися для швидкої перевірки того, що дане регулярне вираз є правильним.

Ймовірно, краще навести кілька прикладів регулярних виразів. Це допоможе зрозуміти їх застосування.

Ріс.10.5.Грамматіческіе правила складання регулярних виразів, представлені у формі БНФ

Це регулярний вираз відповідає імені ідентифікатора в мові Pascal. Перше укладену в квадратні дужки підвираз - клас символів, з визначення якого випливає, що першим символом рядка, для якої буде встановлюватися відповідність, повинна бути буква, прописна або рядкова, або символ підкреслення. Друге укладену в квадратні дужки підвираз - ще один клас символів, що співпадає з першим, за винятком того, що в нього додані цифри. Цей шаблон може повторюватися нуль або більше разів (що визначено символом * в кінці регулярного виразу). Таким чином, цього регулярному виразу відповідає буква або символ підкреслення, за якою слід нуль або більше букв, символів підкреслення або цифр.

Це регулярний вираз відповідає уявленню цілого числа або числа з плаваючою точкою в мові Pascal. Воно означає необов'язковий знак, одну або більше цифр і необов'язкову дробову частину. Дрібна частина складається з десяткового дробу, за якою слідує одна або більше цифр. Якщо дрібна частина відсутня, число є цілим. Якщо вона присутня, число є числом з плаваючою крапкою.

НЛ}] *} Цей останній приклад регулярного виразу відповідає коментарю в мові Pascal, який поміщається в фігурні дужки. Вираз означає наявність відкриває фігурної дужки, за якою слід нуль або більше символів, жоден з яких не є закриваючою дужкою, а потім слід закриває фігурна дужка.

⇐ Детерміновані і недетерміновані кінцеві автомати || Зміст || Використання регулярних виразів ⇒