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