|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
О задаче выразимости автоматов относительно суперпозиции для систем с фиксированной добавкойстатья
- Автор: Летуновский А.А.
- Журнал: Интеллектуальные системы в производстве
- Номер: 1
- Год издания: 2012
- Первая страница: 36
- Последняя страница: 50
- Аннотация: Рассматривается задача выразимости конечного группового автомата Медведева M cуперпозициями систем вида , где Ф состоит из всех булевых функций и «задержки», – произвольная конечная cистема автоматов. Ранее автор показал, что для группового автомата Медведева M, группа которого является разрешимой, существует алгоритм проверки M∈[Φ∪R]. В настоящей работе решается задача выразимости через системы произвольных групповых автоматов Медведева.
- Добавил в систему: Летуновский Алексей Александрович