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