Интеллектуальные системы. Теория и приложения
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Интеллектуальные системы. Теория и приложения:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Интеллектуальные системы. Теория и приложения, 2021, том 25, выпуск 1, страницы 149–164 (Mi ista299)  
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Часть 3. Математические модели

Распознавание A-полноты конечных систем линейных автоматов с добавками над кольцом двоично-рациональных чисел

Д. В. Ронжин

ОАНО "Новая школа"
PDF полного текста (422 kB) Список цитирования (2)
Список литературы:
PDF
HTML
Аннотация: Исследуются вопросы A-полноты конечных систем линейных автоматов над кольцом двоично-рациональных чисел. Описано условие полноты конечной системы линейных автоматов, содержащей автомат, реализующий сумматор в первый такт. Доказана алгоритмическая разрешимость задачи определения принадлежности конечного множества линейных автоматов сформулированному набору предполных классов.
Ключевые слова: конечные автоматы, линейные автоматы, двоично-рациональные числа, А-полнота, предполный класс, алгоримическая разрешимость.
Тип публикации: Статья
Образец цитирования: Д. В. Ронжин, “Распознавание A-полноты конечных систем линейных автоматов с добавками над кольцом двоично-рациональных чисел”, Интеллектуальные системы. Теория и приложения, 25:1 (2021), 149–164
Цитирование в формате AMSBIB
\RBibitem{Ron21}
\by Д.~В.~Ронжин
\paper Распознавание A-полноты конечных систем линейных автоматов с добавками над кольцом двоично-рациональных чисел
\jour Интеллектуальные системы. Теория и приложения
\yr 2021
\vol 25
\issue 1
\pages 149--164
\mathnet{http://mi.mathnet.ru/ista299}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ista299
  • https://www.mathnet.ru/rus/ista/v25/i1/p149
    • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Интеллектуальные системы. Теория и приложения
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024