ВОССТАНОВЛЕНИЕ АВТОМАТОВ ПО ИХ ПОВЕДЕНИЮ

ВОССТАНОВЛЕНИЕ АВТОМАТОВ ПО ИХ ПОВЕДЕНИЮ
В.Б. Кудрявцев1, И.С. Грунский2, В.А. Козловский2
Московский государственный университет, Москва, Россия
Институт прикладной математики и механики НАН
Донецк,Украина
1
2
Украины,
Доклад посвящен проблеме восстановления автоматов по фрагментам их
поведения, полученным в результате эксперимента или заданным априори.
Такие задачи возникают при синтезе и распознавании дискретных систем. Ряд
исследований по этой тематике был инициирован А.М.Богомоловым и продолжен его учениками.
В докладе сделан обзор работ, выполненных под руководством и при
непосредственном участии авторов. Его можно разбить на три части. Первая
содержит основные определения: идентификатора состояния, фрагмента автомата и его представления относительно заданного класса автоматов, характеризатора класса, а также базовые результаты. Вторая часть содержит исследования представлений автоматов относительно различных, в основном, конечных классов – условий существования, структуры, сложности. Условия
существования изучаются с привлечением топологических методов, структура характеризуется на основе теоретико-графовых построений. Получен ряд
характеризационных теорем, которые используются для получения оценок
сложности контрольных экспериментов и косвенной оценки сложности задачи распознавания представлений в терминах теории NP-полноты в зависимости от свойств класса автоматов. Третья часть посвящена исследованию экспериментов в классах, заданных финитными средствами: недетерминированных автоматов и с помощью специальных маркеров состояний(уникальных
вход-выходных сигналов. Изучены алгебраические свойства множеств таких
классов, условия их конечности и условия существования контрольных
експериментов в этих классах.
Основная часть этих результатов приведена в [1-4].
Список литературы
1. Кудрявцев А.Б., Алешин С.В., Подколзин А.С. Введение в теорию автоматов.- М.: Наука, 1985.- 320 с.
2. Грунский И.С., Козловский В.А., Пономаренко Г.Г. Представления конечных автоматов фрагментами поведения.- Киев: Наукова думка, 1990.232 с.
3. Грунский И.С. Анализ поведения конечных автоматов. – Луганск: издво Луганск. гос. пед. ун-та, 2003.- 318с.
4. Грунский И.С., Козловский В.А. Синтез и идентификация автоматов.Киев: Наукова думка, 2004.- 246 с.