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