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