Назначение и область применения

0
1
A	B	C
B	B	A
C	-	C

Рис. 4.2 Таблица переходов

2. 
   Диаграмма состояний
   

Диаграмма состояний (или иногда граф переходов) – графическое представление множества состояний и функции переходов. Представляет собой размеченный ориентированный граф, вершины которого – состояния конечного автомата, дуги – переходы из одного состояния в другое, а метки дуг – символы, по которым осуществляется переход из одного состояния в другое. Если переход из одного состояния в другое может быть осуществлен по одному из нескольких символов, то все они должны быть надписаны над дугой диаграммы.
На рисунке 4.3 изображена диаграмма состояний конечного автомата, который был описаны выше с помощью таблицы переходов.

Рис. 4.3 Диаграмма состояний
Для решения поставленной задачи систему маршрутизации запросов можно интерпретировать с помощью конечного автомата следующим образом [31]:
Конечное непустое множество состояний Q – состояния, которые может принимать запрос, проходя по схеме маршрутизации;
Конечный входной алфавит Σ – набор возможных пользователям действий для перемещения запроса из одного состояния в другое;
Функция переходов δ – набор переходов, связывающих состояния межу собой;
Начальное состояние q0 – состояние, в котором пользователь создаёт запрос;
Множество конечных состояний F – состояние «обработан», обозначающее правильность вносимых изменений и позволяющее фактическую запись в базу данных. В данном случае множество конечных состояний будет состоять из одного элемента.
Главным отличием работы схемы маршрутизации от традиционного конечного автомата, будет являться отсутствие заранее составленной входной цепочки. Группа пользователей не может заранее знать, какие действия они будут совершать с запросом и в какой последовательности. В данном случае конечный автомат будет совершать анализ действия и последующий переход в требуемое состояние по факту получения этого действия.