Аналізатор скінченних цифрових автоматів
Loading...
Date
2010
Journal Title
Journal ISSN
Volume Title
Publisher
Житомирський державний технологічний університет
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: Для решения задачи синтеза детерминированного конечного автомата предложено использование диаграмм двоичных решений. Это позволяет существенно улучшить масштабируемость метода и представить структуру автомата в виде бинарного дерева - структуры данных удобной для последующего этапа анализа. Использование на этапе анализа модифицированного мультиагентного метода муравьиных колоний (МК) и вероятностного подхода, позволило определить оптимальные пути обхождения графа и вероятности пребывания автомата в каждом из состояний.
Description
Сердюк, С. М. Аналізатор скінченних цифрових автоматів / С.М. Сердюк // Вісник Житомирського державного технологічного університету. Технічні науки. Випуск №1 (52) 2010. – Житомир: ЖДТУ. – 2010.– С.146-150.
Keywords
синтез, скінченний автомат, граф, метод мурашиних колоній, synthesis, finite automaton, graph, Ant Colony method, синтез, конечный автомат, граф, метод муравьиных колоний