Об идентификации автоматов конечными следами. | Компьютерные науки и информационные технологии

Сообщение об ошибке

Warning: fopen(http://www.sgu.ru/exchange/index.php?stat1=1): failed to open stream: HTTP request failed! HTTP/1.1 404 Not Found в функции eval() (строка 2 в файле /www/knit2012/modules/php/php.module(80) : eval()'d code).

Warning: fread() expects parameter 1 to be resource, boolean given в функции eval() (строка 3 в файле /www/knit2012/modules/php/php.module(80) : eval()'d code).

Warning: fclose() expects parameter 1 to be resource, boolean given в функции eval() (строка 4 в файле /www/knit2012/modules/php/php.module(80) : eval()'d code).

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

Материалы конференции: