BC/NW 2010, №1 (16): 10.4

СИНТЕЗ АБСТРАКТНОГО АВТОМАТА

Стрельник Е.В., Федулов А.С.

(СФМЭИ, г. Смоленск)

Теория абстрактных автоматов широко используется при проектировании, анализе и моделировании цифровых устройств, вычислительных машин, систем различного назначения [1]. Вместе с тем отсутствует комплексная программная реализация основных задач теории абстрактных автоматов, таких как: минимизация автоматов; преобразование модели Мили в модель Мура и наоборот; анализ связности и достижимости автоматов; абстрактный синтез.

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

Библиотека реализована в программной среде C#.

На рисунке 1 представлен интерфейс программы.

Рис. 1. Интерфейс программы «Абстрактные автоматы»

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

Литература

1. Баранов С.И. Синтез микропрограммных автоматов (граф-схемы и автоматы), 2-e изд./C.И.Баранов -Л.: Энергия, 1979.- 232с.