|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
О выразимости константных автоматов суперпозициямидоклад на конференции
- Автор: Летуновский А.А.
- Международная Конференция : IX Международная конференции "Интеллектуальные системы и компьютерные науки" (23-27 октября 2006 г.)
- Даты проведения конференции: 2006
- Дата доклада: 24 октября 2006
- Тип доклада: не указан
- Докладчик: Летуновский А.А.
- Место проведения: Москва, Russia
-
Аннотация доклада:
Рассматриваются задачи выразимости и А – выразимости константных автоматных функций относительно суперпозиции. Показано, что нет алгоритма определения по конечному базису мощности множества выразимых (А-выразимых) через него констант. Приводятся достаточные условия, при которых мощности множества выразимых (А-выразимых) констант конечны, и достаточные условия, при которых мощности множества выразимых (А-выразимых) констант бесконечны.
- Добавил в систему: Летуновский Алексей Александрович