ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Темой доклада являются переходные системы, обладающие тем свойством, что для них существует кодирование такое, что получаемый в результате булевский оператор является линейным. Приведен критерий линейной реализуемости переходной системы в терминах порождающих полугруппы переходной системы.