|
Интеллектуальные системы. Теория и приложения, 2021, том 25, выпуск 1, страницы 149–164
(Mi ista299)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Часть 3. Математические модели
Распознавание A-полноты конечных систем линейных автоматов с добавками над кольцом двоично-рациональных чисел
Д. В. Ронжин ОАНО "Новая школа"
Аннотация:
Исследуются вопросы A-полноты конечных систем линейных автоматов над кольцом двоично-рациональных чисел. Описано условие полноты конечной системы линейных автоматов, содержащей автомат, реализующий сумматор в первый такт. Доказана алгоритмическая разрешимость задачи определения принадлежности конечного множества линейных автоматов сформулированному набору предполных классов.
Ключевые слова:
конечные автоматы, линейные автоматы, двоично-рациональные числа, А-полнота, предполный класс, алгоримическая разрешимость.
Образец цитирования:
Д. В. Ронжин, “Распознавание A-полноты конечных систем линейных автоматов с добавками над кольцом двоично-рациональных чисел”, Интеллектуальные системы. Теория и приложения, 25:1 (2021), 149–164
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ista299 https://www.mathnet.ru/rus/ista/v25/i1/p149
|
Статистика просмотров: |
Страница аннотации: | 67 | PDF полного текста: | 29 | Список литературы: | 19 |
|