Структура программы. 
Разработка недетерминированных программных систем на основе вероятных автоматов

В программе реализована возможность построения вероятного автомата, который можно представить в виде системы конечного автомата и генератора матриц вероятностного перехода. В программе возможен выбор вероятностного автомата Мили и Мура. В автомате Мили выходной сигнал зависит как от текущего состояния, так и от текущего входного символа. В автомате Мура выходной сигнал зависит только от текущего состояния автомата. В программе возможно задать количество символов в входном алфавите («число входов»), в выходном алфавите («число выходов»), в алфавите состояний («число состояний»), выбор вероятностного распределения из числа предложенных (Вырожденное распределение, Бернулли распределение, Пуассоновское распределение) В программе имеется возможность задавать:

• — входную последовательность;
• — число входов;
• — число выходов;
• — число состояний.

Осуществлять выбор:

• — вероятностного автомата (Мили или Мура);
• — вероятностное распределение (вырожденное, Бернулли, Пуассоновское)

Главное окно программы продемонстрированно на рисунке 17.

Рисунок 17. Окно основной программы Для того чтобы построить вероятностный автомат нужно выполнить следующие шаги:

• — Заполнить поле «Входная последовательность».
• — Заполнить поле «Число входов».
• — Заполнить поле «Число выходов».
• — Заполнить поле «Число состояний».
• — Выбрать необходимое распределение.
• — Выбрать необходимый автомат.
• — И нажать кнопку «Построить».

После нажатия кнопки «Построить», в правой части окно будут выведены следующие таблицы (Рисунок 18):

• — Таблица переход состояний.
• — Таблица выходов.

А также будет выведен в отдельном окне граф, в вершинах которого будут состояния, а ребра графа будут указывать на переход из одного состояния автомата в другое (Рисунок 19). Подробный листинг можно просмотреть в приложении А.

Рисунок 18. Заполненное окно основной программы.

Рисунок 19. Вывод графа Таким образом, программа реализует построение вероятностного автомата с выбором необходимых для нас параметров и дальнейшее наглядное представление автомата в виде графа.