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

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

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).

С нахождением гомоморфных образов автомата связано решение различных практических задач, использующих модель конечного детерминированного автомата. Решение задачи нахождения всех гомоморфных образов автомата на основе общих теоретических положений достаточно сложно. В работе приводятся утверждения, позволяющие облегчить решение этой задачи. На основе этих утверждений разработана методика построения всех гомоморфных образов автомата. Методика предполагает выполнение достаточно простых действий над автоматными таблицами.

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