Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Регулярные выражения и регулярные множества

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

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

Множество цепочек, соответствующее регулярному выражению R, будем обозначать R^.

Регулярные выражения над алфавитом Σ образуются по следующим правилам:

1. Отдельный символ алфавита аÎΣ является регулярным выражением. Обозначаемое таким выражением множество цепочек есть {а}, то есть состоит из одной цепочки а.

2. Пустая цепочка ε есть регулярное выражение. Обозначает регулярное множество {ε}.

3. Если R и Q — регулярные выражения над алфавитом Σ, то запись RQ (конкатенация) также является регулярным выражением. Множество, обозначаемое RQ, состоит из всех цепочек, образованных конкатенацией двух цепочек, так что первая цепочка пары порождается выражением R а вторая — выражением Q

Формально это может быть записано таким образом: (RQ)^ = {αβ} | α ÎR^, β ÎQ^}.

4. Если R и Q — регулярные выражения над алфавитом Σ, то запись R | Q (читается «R или Q») также является регулярным выражением и обозначает регулярное множество R^ È Q^, то есть множество всех цепочек, порождаемых как выражением R, так и выражением Q.

5. Если R — регулярное выражение над алфавитом Σ, то запись R* (итерация R) также является регулярным выражением и обозначает множество всех цепочек, полученных повторением цепочек, порождаемых R, ноль или более раз.

6. Если R — регулярное выражение над алфавитом Σ, то (R) (R в скобках) также является регулярным выражением, которое обозначает то же множество, что и R.

Предполагается определенный приоритет операций, с помощью которых образуются регулярные выражения.

Наивысший приоритет имеет итерация (знак «*»), далее — конкатенация, далее — «или» (знак «|»). Скобки используются для изменения порядка операций.

Пример 1. С помощью регулярного выражения можно задать правила записи целых чисел со знаком:

(+ | -| ε) цц *

где ц обозначает любую цифру от 0 до 9.

Если это не вызывает разночтения, символ ε можно не записывать.

Повторение один или более раз иногда обозначают знаком «+». R+=RR* Другая форма выражения, определяющего целые:

(+|-) ц +.

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

(+|-)(0|1|2|3|4|5|6|7|8|9)+

Пример 2. Регулярное выражение, задающее множество идентификаторов:

б (б | ц)*

где б — буква; ц — цифра.


 

<== предыдущая лекция | следующая лекция ==>
Автоматизация работы электростанций | Эквивалентность регулярных выражений и автоматных грамматик
Поделиться с друзьями:


Дата добавления: 2014-01-03; Просмотров: 767; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.013 сек.