INFONKO.RU

Представление событий в автоматах

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

Пусть Y{y1, y2, …, yG} – выходной алфавит конечного автомата S с фиксированным начальным состоянием a0. Тогда каждой букве yj выходного алфавита можно поставить в соответствие множество входных слов Sj (x1, x2,…, xF), которые вызывают появление на выходе автомата буквы yj. Определенное таким образом множество слов Sj (x1, x2, …, xF) называют событием, представленным в автомате выходным сигналом yj.

Поэтому для задания конечного автомата, имеющего выходной алфавит Y{y1, y2, …, yG}, достаточно разбить множество всех возможных входных слов на G событий S1, S2, …, SG, представленных в автомате выходными сигналами y1, y2, …, yG соответственно. Для частичного автомата необходимо, кроме того, задать множество Sз запрещенных слов. Таким образом, конечный автомат может быть задан таблицей, устанавливающей соответствия между событиями и буквами выходного алфавита. Зная набор событий Sj, можно не пользуясь таблицами переходов и выходов найти реакцию автомата на любое входное слово, для чего достаточно определить множество каких слов входного алфавита оно входит (т.е. какому событию принадлежит).

Соответствие событий буквам выходного алфавита:

Событие Буква
S1 (x1, x2,…, xF) S2 (x1, x2,…, xF) … SG (x1, x2,…, xF) Sз (x1, x2,…, xF) y1 y2 … yG –

Для описания автоматов на языке регулярных событий вводят ряд операций над событиями, т.е. строят алгебру событий. Мы рассмотрим алгебру событий, введенную Клини и усовершенствованную академиком Глушковым В. М.

Операции в алгебре событий

Алгебра событий включает три операции: дизъюнкцию (объединение) событий, произведение событий и итерацию событий.

Дизъюнкцией событий называют событие S = S1 v S2 v …v SG, состоящее из всех слов, входящих в событияS1, S2, …, SG.

Пример. Событие S1 содержит слова x1, x1x1, x2x1, т.е. S1 = (x1, x1x1, x2x1), а
S2 = (x2, x1x2). Тогда S = S1 v S2 = (x1, x2, x1x1, x1x2, x2x1).

Произведением событий называется событие , состоящее из всех слов, полученных приписыванием к каждому слову события S1 каждого слова события S2, затем слова события S3 и т.д.

Пример.При тех же событиях S1 и S2, = (x1x2, x1x1x2, x2x1x2, x1x1x2, x1x1x1x2, x2x1x1x2). Произведение событий не коммутативно, т.е. . Поэтому следует различать операции «умножение справа» и «умножение слева». Например, относительно произведения событий можно сказать, что событие S2 умножено на событие S1 справа, а событие S1 на S2 – слева.

Третьей операцией, применяемой в алгебре событий, является одноместная операция итерация, которая применима только к одному событию. Для обозначения итерации вводят фигурные скобки, которые называются итерационными. Итерацией события S называется событие {S}, состоящее из пустого слова e и всех слов вида S, SS, SSS и т.д. до бесконечности, т.е.:
{S} = e v S v SS v SSS v …

Пример. S = (x2, x1x2). Тогда {S} = (e, x2, x2x2, x2x2x2, …, x1x2, x1x2x1x2, …, x2x1x2, x1x2x2, …)



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

Теорема: Любые регулярные выражения и только они представимы в конечных автоматах.

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

Рассмотрим, как можно совершить переход от описательной формы задания алгоритмов работы конечных автоматов к представлению этих алгоритмов в виде регулярных выражений. С целью упрощения такого перехода вводят основные события, из которых с помощью операций дизъюнкции, умножения и итерации можно составить более сложные события, соответствующие заданному алгоритму работы автомата. За основные события принимают такие события, которые более часто встречаются в инженерной практике при синтезе схем ЭВМ.

Пусть дан конечный алфавит X = (x1, x2, …, xm).

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

Система основных событий

В эту систему мы включим те из наиболее часто встречающихся событий, которые используются при записи регулярных выражений на практических занятиях и курсовой работе. Пусть дан алфавит X{x1, x2, …,xm}.

1. Событие, состоящее из всех слов входного алфавита (всеобщее событие):
F={x1 v x2 v …v xm}

2. Событие, содержащее все слова, оканчивающиеся буквой xi:
S={x1 v x2 v …v xi v …v xm} xi = Fxi.

3. Событие, содержащее все слова, оканчивающиеся отрезком слова l1:
S=F l1.

4. Событие, содержащее все слова, начинающиеся с отрезка слова l1 и оканчивающиеся на l2: S = l1 F l2.

5. Событие, содержащее только однобуквенные слова входного алфавита:
S = x1 v x2 v …v xm.

6. Событие, содержащее только двухбуквенные слова входного алфавита:
S = (x1 v x2 v …v xm)( x1 v x2 v …v xm).

7. Событие, содержащее все слова длиной r:

S = (x1 v x2 v…v xm)(x1v x2 v…v xm)…(x1 v x2 v…v xm) - r членов.

8. Событие, содержащее все слова, длина которых кратна r:

S = {(x1 v x2 v…v xm)(x1 v x2 v…v xm)…(x1 v x2 v…v xm)} - r членов

9. Событие, состоящее из всех слов алфавита X{x1, x2}, не содержащих комбинации букв x1x1 и оканчивающихся буквой x2:

S = {x2 v x1 x2}.

10. Событие, состоящее из всех слов алфавита X{x1, x2}, не содержащих серии из r букв x1 и оканчивающихся буквой x2:

S = {x2 v x1x2 v x1x1x2 v … v x1x1… x1x2} - (r – 1) членов.

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

Пример. Записать в виде регулярного выражения алгоритм работы автомата, сравнивающего два двоичных числа, представленных в последовательном коде. Количество разрядов числа – произвольно. Окончание чисел фиксируется подачей на вход автомата сигнала xs. Если число, поданное на первый вход автомата, меньше числа, поданного на второй вход, то КА выдает сигнал y1, если больше – то y2, если оба числа равны – то y3. Числа подаются на входы автомата младшими разрядами вперед. На входы автомата сравнения одновременно может поступить одна из четырех комбинаций сигналов 00, 01, 10, 11, которые закодируем следующим образом x00=00, x01=01, x10=10, x11=11. При этом будем считать, что первая цифра каждой комбинации относится к первому входу, а вторая – ко второму входу. Таким образом, входной алфавит автомата включает пять букв X{x00, x01, x10, x11, xs}, а выходной – три буквы Y{y1, y2, y3}:

------------------------- КА ----------à
Х{x00, x01, x10, x11, xs} Y{y1, y2, y3}

Два двоичных числа равны, если равны цифры в любых одинаковых разрядах. Поэтому событие, заключающееся в поступлении на вход автомата равных чисел, состоит из всех возможных слов, содержащих буквы x00 и x11.

То есть S3 = {x00 v x11} xs.

События, представленные в автомате сигналами y1 и y2, можно записать соответственно в виде:

S1 = {x00vx01vx10vx11}x01{x00vx11}xs, S2 = {x00vx01vx10vx11}x10{x00vx11}xs.

События S1, S2 и S3 не охватывают всего множества слов, которые могут быть записаны в алфавите X{x00,x01, x10, x11, xs}, т.к. в эти события входят только слова, оканчивающиеся буквой xs. Слова, не входящие вS1, S2 и S3, должны быть представлены в автомате пустой буквой e: .

Очевидно, что записанные выражения можно упростить, если входные сигналы 00 и 11 закодировать одной буквой, например xr. Такое кодирование возможно, т.к. КА одинаково реагирует на эти комбинации: S3 = {xr} xs,

S1={xrvx01vx10}x01{xr}xs, S2 = {xrvx01vx10}x10{x00vx11}xs, .

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

1. S1 v S2 = S2 v S1 – закон коммутативности;

2. (S1v S2) v S3 = S1 v (S2 v S3) = S1 v S2 v S3 – законы ассоциативности;

3. – законы ассоциативности;

4. – закон дистрибутивности;

5. {{S}} = {S};

6. ;

7. {{S1} v {S2}} = {S1 v S2};

8. {e} = e;

9. eS = Se = S .

Методы абстрактного синтеза

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

1. Первый этап заключается в получении таблиц переходов и выходов в некоторой исходной форме. Построенный по этим таблицам автомат обычно содержит «лишние» внутренние состояния.

2. На втором этапе производится минимизация количества внутренних состояний заданного автомата.

Синтезируемый автомат может быть задан либо как автомат Мура, либо как автомат Мили. Поскольку для автомата Мура всегда можно построить эквивалентный автомат Мили, то достаточно рассмотреть алгоритм синтеза автомата Мура, который проще автомата Мили.



infonko.ru/drugie-polozheniya-dlya-kormleniya.html infonko.ru/drugie-povedencheskie-i-emocionalnie.html infonko.ru/drugie-prichastnie-lica-dejstviya-kotorih-nedostatochno-rassledovani.html infonko.ru/drugie-prichini-navyazchivo-kompulsivnogo-povedeniya.html infonko.ru/drugie-primeneniya-dannoj-koncepcii.html infonko.ru/drugie-primeri-peresmotra-psihoanaliticheskoj-teorii-akcent-na-kulturnih-i-mezhlichnostnih-faktorah.html infonko.ru/drugie-psihoaktivnie-veshestva.html infonko.ru/drugie-rannie-sistemi-apparatov.html infonko.ru/drugie-rasarojstva-lichnosti-i-vlechenij.html infonko.ru/drugie-regionalnie-strukturi.html infonko.ru/drugie-semanticheskie-komponenti-temnogo-teksta.html infonko.ru/drugie-semnie-retencionnie-apparati.html infonko.ru/drugie-sluchai-trebuyushie-pomoshi.html infonko.ru/drugie-sosloviya-i-sloi-naseleniya.html infonko.ru/drugie-sostavlyayushie-alhimii-intellektualnogo-uspeha.html infonko.ru/drugie-sovremennie-podhodi-k.html infonko.ru/drugie-sposobi-fiksacii-aktivnogo-voobrazheniya.html infonko.ru/drugie-sposobi-obresti-svobodu.html infonko.ru/drugie-sposobi-vedeniya-ucheta.html infonko.ru/drugie-sredstva-peredvizheniya.html