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

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

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

Целью дипломной работы является: написание программы построения вероятностного автомата.

Задачи, решаемые в дипломной работе, для достижения поставленной цели:

• — исследование вероятностных автоматов;
• — исследование классификации вероятностных автоматов;
• — выбор представления вероятностных автоматов;
• — выбор подходящей среды разработки программы;
• — разработка программного обеспечения.