О ПРОБЛЕМАХ РАЗРЕШИМОСТИ ЭЛЕМЕНТАРНЫХ ТЕОРИЙ УНИВЕРСАЛЬНЫХ ПЛАНАРНЫХ АВТОМАТОВ

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

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

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

Материалы конференции: 
Тип доклада: 
Личное участие
Автор: 
Молчанов
Владимир
Александрович
Организация: 
Должность: 
профессор кафедры теоретических основ компьютерной безопасности и криптографии
Ученая степень: 
доктор физ.-мат.наук
Город: 
Докладчик: 
да