Математические основы теории систем

61

Всякому автомату при заданных q1 и F однозначно соответствует представимое в нем событие: на графе автомата оно соответствует множеству путей, ведущих из q1 в вершины, принадлежащие множеству заключительных состояний F. Событие называется представимым, если существует конечный автомат, в котором оно представимо. Синонимом этого понятия является множество, определимое, или допустимое, или распознаваемое автоматом. Другими словами представимое в автомате событие можно назвать множеством, разрешимым автоматом.

Начальное состояние q1 также может относиться к множеству заключительных состояний q1 F . В этом случае автомат, ничего не имея на входе, уже что-то представляет. Принято считать, что это «что-то» – пустое слово (пустой символ е) и оно содержится в событии, представимом этим автоматом. Для произвольного слова x выполняется равенство еx = xе = x, то есть пустое слово е играет роль единицы в свободной полугруппе слов входного алфавита, где ассоциативной бинарной операцией является конкатенация (приписывание одного слова к другому).

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

До сих пор мы рассматривали конечную последовательность букв входного алфавита, то есть слова конечной длины. Но можно говорить, что автомат распознает и бесконечную последовательность букв x = xi1 xi2 ..., если он пред-

ставляет множество E ={xi1 , xi1 xi2 ...}, составленное из всех начальных отрезков

бесконечного слова х. Оказывается, что не все события представимы в автоматах. Об этом говорит следующая теорема.

·····························································

Теорема 2.4. Существуют события, непредставимые в автома-

тах, именно: никакая непериодическая бесконечная последовательность не распознаваема конечным автоматом.

·····························································

·····························································

Первая часть теоремы должна быть очевидна: во-первых, из сопоставления мощностей соответствующих множеств (множество всех событий континуально, а множество конечных автоматов

63

2.3.2 Регулярные события и алгебра Клини

·····························································

Зададим три операции над событиями R и S в алфавите Х.

1. Объединением (дизъюнкцией) событий R и S называется событие Р, обозначаемое R S = P , которое образуется обычным теоретико-множественным объединением множеств R и S.

2. Конкатенацией (умножением) событий R и S будет событие U = R S , состоящее из слов вида u =r s , где

r R, s S , то есть слова события U образуются приписыванием справа любого слова события S к любому слову события R (но не наоборот!).

3. Итерацией события R называется событие

∞

R* = e R RR RRR ... Ri ... = Ri .

i=0

·····························································

Одноэлементные события, т. е. события {хi}, где хi Х , будем называть элементарными и обозначать буквами хi. Событие е, образованное пустым словом е, состоит из одного слова нулевой длины и также относится к элементарным событиям.

·····························································

Событие назовем регулярным, если оно может быть полу-

чено из элементарных событий путем конечного применения перечисленных операций: объединения, умножения и итерации, которые также назовем регулярными.

·····························································

Таким образом, мы определили алгебру регулярных событий (R;i, ;*) ,

несущим множеством которой является множество регулярных событий, а сигнатурой − две бинарные (конкатенация и дизъюнкция) и одна унарная (итерация) операции. Образующие этой алгебры (называемой еще алгеброй Клини) являются элементарные события. Каждый элемент этой алгебры (регулярное событие) может быть описан регулярным выражением в алфавите

Х={x1,x2,…,xm}, которое определяется рекурсивно следующим образом:

1)символы x1,x2,…,xm , е и Ø являются регулярными выражениями;

64

2) если R и S – регулярные выражения, то таковыми являются R S ,

R S и R*;

3) никакое другое выражение не является регулярным, если оно не получено путем конечного числа применения правил 1 и 2.

·····························································

Таким образом, регулярное выражение − это формула в ал-

гебре событий. Регулярные выражения эквивалентны, если они описывают одно и то же регулярное событие.

·····························································

Эквивалентные соотношения в алгебре регулярных событий вытекают из свойств операций , −, *. Если P, R, и S − регулярные события, то имеют место соотношения:

•P = P = P;

•P = P = ;

•P e = e P = ;

•* = e;

•e* = e;

ния относительно объединения;

•P* = e P P* – развертывание итерации;

P P = P,

• – идемпотентность объединения и итерации;

(P* )* = P*

• P* P = P* – дизъюнктивное поглощение итерации;

• P* P* = P* – мультипликативное поглощение итерации.

Из рассмотрения операций объединения, умножения и итерации вытекает, что все конечные события регулярны. Это следует из того, что любое слово

65

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

Бесконечное регулярное событие может появиться только благодаря итерации и наоборот, если в регулярном выражении присутствует операция итерации, то оно описывает бесконечное событие (если только итерация не применяется к пустой букве е, так как е* =е, т. е. конечно).

······················· Пример 2.9 ······················

Регулярное выражение U = (x1 x2 ... xm ) задает множество всех слов (включая пустое) в алфавите X ={x1, x2 ,...xm }. Такое событие называется универсальным событием (по аналогии с универсальным множеством).

····································································

······················ Пример 2.10 ······················

Регулярное выражение E = (a c)* b(a c)* задает событие в алфавите {a, b, c}, состоящее из всех слов, содержащих букву b только один раз.

·······································································

Регулярные события тесно связаны с автоматами. Эта связь дается фундаментальной теоремой Клини.

·····························································

Теорема 2.5. (Клини). Класс событий, представимых в конеч-

ных автоматах, совпадает с классом регулярных событий.

·····························································

По сути, эта теорема состоит из двух теорем.

·····························································

Теорема 2.5, а (теорема синтеза). Для любого регулярного со-

бытия существует конечный автомат, представляющий это событие. Теорема 2.5, б (теорема анализа). Всякое событие, представи-

мое конечным автоматом, непременно регулярно.

·····························································

Чтобы подойти к доказательству этих теорем, введем понятие источника (синонимы: переходный граф сигналов, сигнальный граф), под которым будем понимать ориентированный граф, в котором выделены начальные и заключительные вершины, и на каждом ребре написана буква из алфавита X либо е (пу-

66

стое ребро). Каждый источник H однозначно определяет некоторое событие Е в алфавите X, порождаемое множеством путей из начальных вершин в заключительные вершины. В этом случае говорят, что источник H представляет событие Е. Источники, представляющие одно и то же событие, называются эквивалентными. Частный случай источника – это автомат без выхода.

Для любого источника H можно построить эквивалентный источник Н0 с двумя полюсами (с одной начальной вершиной и одной заключительной). Для такого построения нужно в Н0 ввести новую вершину q0 (единственная начальная вершина) и соединить ее пустыми ребрами с прежними начальными вершинами в Н, а также новую вершину qz (единственную заключительную) и соединить с ней все заключительные вершины в Н пустыми ребрами. В остальном Н0 совпадает с Н.

·····························································

Теорема 2.6. Для любого регулярного события Е существует

двухполюсный источник, представляющий Е.

·····························································

·····························································

Теорема доказывается индукцией по глубине построения

формулы регулярного события. Элементарное событие представляется сигнальным графом с двумя вершинами – начальной и заключительной и ребром, соединяющим эти вершины. Это ребро взвешено буквой хi или е (рис. 2.3, а).

Если построены двухполюсные источники: Н1, представляющий регулярное событие Е1, и Н2, представляющий регулярное событие Е2, с начальными q01 , q02 и заключительными qz1 и qz2 вершинами соответственно, то источник Н с начальной вершиной q0 и заключительной – qz, представляющий регулярное событие Е – результат регулярной операции над Е1 и Е2, строится следующим образом:

1)объединение Е = Е1 Е2 будет изображено параллельным соединением Н1 и Н2 (рис. 2.3, б). Из вершины q0 прово-

дятся пустые ребра в q01 и q02 , а из qz1 и qz2 проводятся пустые ребра в вершину qz;

H1

Рис. 2.3 – Источники, представляющие регулярные операции

Построенные таким образом источники действительно представляют соответствующие события. Докажем это, например, для объединения Е = Е1 Е2 (доказательства для умножения и итерации аналогичны). Возьмем х Е . Тогда х = х1 х2 , где х1 Е1, а х2 Е2 . По условию Н1 представляет Е1, Н2 представляет Е2, поэтому существует путь х1 из q01 в qz1 и путь х2 из q02 в qz2. Тогда по построению существует путь ех1е ех2е = х1 х2 из вершины q0 в вершину qz. И наоборот, всякий путь х из q0 в qz обязательно про-

х1 Е1 и х2 Е2. Что и требовалось доказать.

·····························································

68

·····························································

При построении источника в некоторых случаях необходимо

вводить пустые ребра (ребра, взвешенные пустой буквой e). Это делается для того, чтобы избежать ложных путей. Система правил, когда следует вводить пустые ребра в граф регулярного выражения, следующая.

·····························································

1. Пустые ребра вводятся в случае произведения двух или более итераций S = ∏(Ri )* (рис. 2.4), где Ri – регулярные выражения.

. . .

Рис. 2.4 – Введение пустых ребер при произведении итераций

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

а) S = (P* R)* ;

б) S = (R N*)* ;

в) S = (P* R N*)* .

Здесь R, P и N – произвольные регулярные выражения. Соответствующие графы изображены на рисунке 2.5.

3. Пустые ребра вводятся в случае дизъюнкции, если хотя бы один из дизъюнктивных членов начинается с итерации S = R* Q P* ... Q, где Q – регулярное выражение, не содержащее итерации (рис. 2.6).

4. Пустые ребра вводятся при умножении слева на дизъюнкцию, если хотя бы один из дизъюнктивных членов заканчивается итерацией (рис. 2.7)

S = (Q R* P* ... Q) N .

q0(qz)

q0(qz)

e

Рис. 2.5 – Введение пустых ребер при итерации

R

Q

Рис. 2.7 – Введение пустых ребер при умножении на дизъюнкцию

70

Перечисленная система правил является полной, т. е. ни в каких других случаях вводить пустые ребра нет необходимости. Это нетрудно показать, рассматривая всевозможные сочетания операций ( , •, *) в регулярном выражении.

2.3.3 Синтез автоматов (абстрактный уровень)

Перейдем теперь к синтезу автоматов, т. е., по сути, к доказательству теоремы 2.5, а.

Введем понятие детерминированного источника. Речь уже шла о том, что автомат без выходов – это частный случай источника. Источник будет являться графом автомата без выходов, если он:

а) содержит одну начальную вершину; б) не содержит пустых ребер; в) удовлетворяет условиям автоматности.

Такой источник и назовем детерминированным источником в отличие от произвольного недетерминированного источника. Это название связано с тем, что произвольный источник можно интерпретировать как недетерминированный автомат, т. е. как автомат, в котором функция переходов δ(q, x) мо-

жет иметь несколько значений (символу х при вершине q может соответствовать множество ребер, а слову х – множество путей из вершины q).

Теперь докажем вспомогательную теорему.

·····························································

Теорема 2.7 (детерминизации). Для любого источника Н с n

вершинами существует эквивалентный ему детерминированный источник Н', имеющий не более чем 2n вершин.

·····························································

·····························································

Назовем множество вершин qɶ замкнутым, если из того, что qi qɶ, следует, что qɶ принадлежит любая вершина, в которую из qi ведет пустое ребро. Таким образом, для источника без пустых ребер любое множество вершин замкнуто.

Источник Н' строится следующим образом. Образуем все замкнутые подмножества вершин Н (а их не более чем 2n ) и каждому такому подмножеству поставим в соответствие вершину qɶi источника Н'.