|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Распознавание А-полноты конечных систем линейных автоматов с добавками над кольцом двоично-рациональных чиселстатья
- Автор: Ронжин Дмитрий Владимирович
- Журнал: Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
- Том: 25
- Номер: 1
- Год издания: 2021
- Издательство: [б.и.]
- Местоположение издательства: М.
- Первая страница: 149
- Последняя страница: 163
- Аннотация: Исследуются вопросы А-полноты конечных систем линейных автоматов над кольцом двоично-рациональных чисел. Описано условие полноты конечной системы линейных автоматов, содержащей автомат, реализующий сумматор в первый такт. Доказана алгоритмическая разрешимость задачи определения принадлежности конечного множества линейных автоматов сформулированному набору предполных классов.
- Добавил в систему: Ронжин Дмитрий Владимирович