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

от Уикипедия, свободната енциклопедия

В информатиката регулярен израз (англ. regular expression) е символен низ, която описва множества или подмножества с помощта на определени синтактични правила.


Съдържание

[редактиране] Регулярни изрази в теоретичната информатика

[редактиране] Основи

Регулярните изрази описват част от формалните езици и така принадлежат към теоретичната информатика. Те образуват най-долното стъпало от Йерархията на Чомски (Тип 3).

[редактиране] Дефиниция

  1. \varnothing ( празното множество) е регулярен израз.
  2. \varepsilon (празната дума) е регулярен израз.
  3. \forall a_i \in \Sigma е ai (всеки символ от съответана азбука) регулярен израз.
  4. Ако x и y са регулярни изрази, то (x \cup y) (Обединение), (xy) (Конкатенация) и x * (оператор-звезда) също са такива.
  5. Не съществуват други регулярни изрази.

[редактиране] Приложение