uzluga.ru
добавить свой файл

ТОЛЕРАНТНЫЕ ОБРАЗЫ И КОМПОЗИЦИИ АВТОМАТОВ.

И.П. Мангушева, П.М. Хрусталёв

Саратовский государственный университет, Саратов, Россия

Одним из достоинств применения структурной теории является то, что она часто дает возможность распространить свойства частей на весь сложный объект, а также сводить проверку определенных свойств сложного объекта к проверке выполнения этих свойств его частей. Примером этого может служить представление конечного автомата как композиции автоматов меньшей мощности и описание полученного структурного автомата с помощью счетной системы операций [1]. Такое представление дало возможность получать, например, гомоморфные образы структурного автомата с помощью гомоморфных образов компонент при выполнении определенных условий. Гомоморфный образ, построенный с помощью некоторой конгруэнции, представляет собой автомат меньшей мощности, но сохраняющий основные свойства исходного. Другим аналогичным объектом, отражающим свойства данного объекта, но построенным с помощью более общего отношения стабильной толерантности, является толерантный образ, также исследованный в [1]. Было показано, что толерантный образ может быть использован для функционального контроля автомата.

Материал настоящей работы является продолжением и полностью опирается на результаты, полученные ранее для гомоморфных и толерантных образов конечных автоматов и сформулированные в [l].

В предлагаемой работе показано, что толерантные образы структурного автомата можно получать аналогично гомоморфным образам, т.е. с помощью толерантных образов компонент при сохранении структуры. Заметим, что в [1] аналогичная задача была решена для более общего случая, т.е. образов автомата при так называемом р-морфизме. Однако, тот факт, что толерантный образ обладает рядом дополнительных свойств, дает возможность распространить все эти свойства на структурный автомат и использовать их в дальнейшем для научных исследований и разработок в области диагностики и контроля.


Список литературы

1.Мангушева И. П. Морфизмы по стабильным толерантностям структурных автоматов . Дис. на соиск. уч степ. к. ф-м. наук . Саратов, 1992.