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

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

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


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




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

Интеллектуальные системы. Теория и приложения, 2016, том 20, выпуск 3, страницы 98–100 (Mi ista96)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Алгоритмически разрешимые случаи в задаче выразимости автоматов относительно суперпозиции

Д. Н. Бабин, А. А. Летуновский

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
PDF полного текста (138 kB) Список цитирования (1)
Аннотация: Авторы вводят понятие расширенной суперпозиции, как суперпозиции с обязательным наличием в системе «задержки» и функции Шеффера. Для расширенной суперпозиции авторам удалось доказать алгоритмическую разрешимость задачи выразимости для широкого класса автоматных функций: константных автоматных функций, групповых автоматных функций Медведева, а также линейных автоматных функций, что в случае обычной суперпозиции было алгоритмически неразрешимо.
Ключевые слова: автомат, детерминированная функция, суперпозиция.
Тип публикации: Статья
Образец цитирования: Д. Н. Бабин, А. А. Летуновский, “Алгоритмически разрешимые случаи в задаче выразимости автоматов относительно суперпозиции”, Интеллектуальные системы. Теория и приложения, 20:3 (2016), 98–100
Цитирование в формате AMSBIB
\RBibitem{BabLet16}
\by Д.~Н.~Бабин, А.~А.~Летуновский
\paper Алгоритмически разрешимые случаи в задаче выразимости автоматов относительно суперпозиции
\jour Интеллектуальные системы. Теория и приложения
\yr 2016
\vol 20
\issue 3
\pages 98--100
\mathnet{http://mi.mathnet.ru/ista96}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ista96
  • https://www.mathnet.ru/rus/ista/v20/i3/p98
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Интеллектуальные системы. Теория и приложения
    Статистика просмотров:
    Страница аннотации:101
    PDF полного текста:27
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024