Выражений алгебры событий.
Язык регулярных выражений алгебры событий использует следующие понятия:
1) Входной алфавит: Z={z1, z2, ... zn}
2) Выходной алфавит: W={w1, w2, … wm}
3) Множество событий: S={s1, s2, … sk}
Регулярные выражений, описывающие работу автомата записываются из букв входного алфавита с применением следующих операций:
Zi Ú Zj – объединение (дизъюнкция),
Zi Ù Zj или Zi Zj – конъюнкция,
{Zi} – итерация. 
Всякое регулярное выражение определяет некоторое событие siÎS. Если это событие наступило, то выдаётся соответствующая буква wx 
W.
Например.
Записать регулярное выражение для автомата, работающего с входным алфавитом Z={z1, z2, z3, z4, z5} и имеющего выходной алфавит W={ w1, w2}. Поведение автомата следующее:
1. Если последовательность входных букв (входное слово) начинается с z1, а заканчивается цепочкой z2 z3, то автомат должен выдать выходную букву w1 (событие s1).
2. Если слово начинается с буквы z2, а заканчивается z4 или z5, то автомат должен выдать букву w2 (событие s2).
s1/w1=z1{z1 Ú z2 Ú z3 Ú z4 Ú z5}z2 z3,
s2/w2=z2{z1 Ú z2 Ú z3 Ú z4 Ú z5}(z4 
z5).
Подобное описание появилось как результат развития теории формальных грамматик и распространения этой теории на автоматы. Оно представляет интерес для теоретических исследований, а при проектировании технических устройств используется редко.
Дата добавления: 2015-08-11; просмотров: 944;