Аналізатор скінченних цифрових автоматів

Abstract

UA: Для рішення задачі синтезу детермінованого скінченного автомата запропоноване використання діаграм двійкових рішень. Це дозволяє істотно поліпшити масштабованість методу й представити структуру автомата у вигляді бінарного дерева – структури даних зручної для наступного етапу аналізу. Використання на етапі аналізу модифікованого мультиагентного методу мурашиних колоній (МК) і імовірнісного підходу, дозволило визначити оптимальні шляхи обходження графа й імовірності перебування автомата в кожному зі станів. EN: The suggestion to solve the deterministic finite automaton synthesis problem is to use binary solution diagrams. Significant improvements achieved are extended scalability and further analysis capabilities while representing the automation data structure as binary tree nodes. The analysis works involves the modified Multi Agents Ant Colony method and probability approaches to optimize graph-states paths as well as automation state probability data acquisition. RU: Для решения задачи синтеза детерминированного конечного автомата предложено использование диаграмм двоичных решений. Это позволяет существенно улучшить масштабируемость метода и представить структуру автомата в виде бинарного дерева - структуры данных удобной для последующего этапа анализа. Использование на этапе анализа модифицированного мультиагентного метода муравьиных колоний (МК) и вероятностного подхода, позволило определить оптимальные пути обхождения графа и вероятности пребывания автомата в каждом из состояний.