Исполнители:
Бокатюк Сергей Сергеевич — АС 27
Гребнев Евгений Владимирович — АС 27

Научный руководитель:
Тузик Ирина Владимировна

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

Представленный программный комплекс можно использовать

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

Кроме того, программный комплекс находит простые формульные представления для логических функций, по которым для данного автомата можно строить функциональную схему. Данный программный комплекс может эффективно применяться и в процессе обучения студентов, т.к. для каждой из упомянутых задач выводится ее пошаговое решение.