Навигация
Иерархический конечный автомат
20462
знака
0
таблиц
6
изображений
3.4. Иерархический конечный автомат
Для представления иерархического конечного автомата документооборота будем использовать описание ИКА из работы [9]. В соответствии с этим описанием ИКА представляется пятеркой (I, O, S, T, r), где I и O описывают множества входных и выходных алфавитов, S представляет множество состояний, функции переходов 
, r задает начальное состояние. Детерминированный ИКА может быть представлен шестеркой (I, O, S, 
, r), где 
описывает выходную функцию, 
описывает функции переходов.
О данной паре входных и выходных последовательностей 
, где 
и 
говорят, что она принимается ИКА T=(I, O, S, T, r), если существует последовательность состояний 
такая, что 
для всех j=0,…,t-1 и 
.
В настоящей статье будем рассматривать поведение ИКА, определенного отношением элементов входа и выхода. Иными словами, отношение между алфавитами входа и выхода есть набор пар входов и выходов, которые определяют состояния детерминированного ИКА. Для заданного автомата T=(I, O, S, T, r) поведение между входом I и выходом O содержится в функциях переходов T, если каждая пара последовательности входов и выходов реализуется в T. Рассмотрим реализацию ИКА, управляющего конечными автоматами на примере на рис. 1.
Рисунок 1. Пример иерархического конечного автомата.
Итак, заданные автоматы M=(I, O, S, 
,r) и M2 = (
). Предполагается, что система документооборота может принимать сразу несколько состояний, в то время как один исполнитель производит смену состояния только на одно из возможных. Таким образом, автомат M может быть НДКА, в то время, как автомат M2 может быть только ДКА. Выходная функция 
автомата M2 состоит из 
, которые соответственно определяются выходными функциями U и Z.
Заданы подмножество 
из множества состояний S и вход x автомата M, зададим 
как множества всех возможных выходов. То есть 
в том и только том случае, если существует 
такое, что 
. Аналогично, 
будет множеством всех возможных состояний, то есть 
в том и только том случае, если 
такое, что .
В рамках определения иерархического конечного автомата, который реализует комплексную систему документооборота, рассмотрим реализуемость и допустимость возможных моделей документооборота. Рассмотрим возможные поведения ДКА, которые будут допустимы на автомате M1. Кроме того, рассмотрим реализации сочетаний поведенческих единиц КА, которые будут реализуемы с помощью ИКА.
При заданном автомате 
детерминированный конечный автомат 
считается реализуемым на M1, если существует хотя бы одна пара цикличных реализаций M1 и M2, таких, что их соединение не вызывает цикла между U и V.
При заданных автоматах
и ДКА является допустимым автоматом, если автомат M1 реализуем и поведение 
содержится в M, где является выходным результатом M. Поведение, которое реализуется допустимым автоматом, является допустимым поведением.
Похожие работы
... основу формулы оценки эффективности положены обобщенный критерий эффективности и нотация дискретного композитного документооборота. Использованный обобщенный критерий эффективности исследован Г.С. Теслером в работе [2]. Нотация дискретного электронного документооборота рассмотрена автором настоящей статьи в работе [3] и исследована на примере формальной модели композитного документооборота. 3. ...
0 комментариев