|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
О выразимости суперпозициями автоматов с разрешимыми группамистатья
- Автор: Летуновский А.А.
- Журнал: Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
- Том: 14
- Номер: 1-4
- Год издания: 2010
- Издательство: [б.и.]
- Местоположение издательства: М.
- Первая страница: 379
- Последняя страница: 393
- Аннотация: Рассматривается задача выразимости конечного автомата A суперпозициями системы Phi U nu, где Phi состоит из всех функций k-значной логики и "задержки", nu – произвольная конечная система автоматов. Ранее автор показал, что для автомата A с безусловными переходами существует алгоритм проверки выразимости A через Phi U nu. В настоящей работе решается задача алгоритмической разрешимости задачи выразимости автомата с разрешимой группой через систему Phi U nu.
- Добавил в систему: Летуновский Алексей Александрович