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

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

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

Основи

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

Дефиниция

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