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