ИСТИНА

Темой доклада являются переходные системы, обладающие тем свойством, что для них существует кодирование такое, что получаемый в результате булевский оператор является линейным. Приведен критерий линейной реализуемости переходной системы в терминах порождающих полугруппы переходной системы.