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

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

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



Дискрет. матем.:
Год:
Том:
Выпуск:
Страница:
Найти






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


Дискрет. матем., 2009, том 21, выпуск 2, страницы 75–87 (Mi dm1047)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

О полноте и $A$-полноте $S$-множеств детерминированных функций, содержащих все одноместные детерминированные $S$-функции

М. А. Подколзина


Аннотация: Исследуется задача о полноте систем, состоящих из $S$-функций, то есть таких детерминированных функций, что в каждом состоянии вычисляющего их автомата реализуются функции, не выпускающие ни одного значения. Предполагается, что каждой рассматриваемой на полноту системе $S$-функций принадлежат все $S$-функции, зависящие не более, чем от одной переменной. В терминах сохранения отношений описаны все $A$-предполные классы для таких систем. Показано, что существует алгоритм для распознавания $A$-полноты $S$-систем одноместных детерминированных функций, содержащих все одноместные детерминированные $S$-функции.

DOI: https://doi.org/10.4213/dm1047

Полный текст: PDF файл (163 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Discrete Mathematics and Applications, 2009, 19:3, 263–276

Реферативные базы данных:

УДК: 519.7
Статья поступила: 17.09.2008

Образец цитирования: М. А. Подколзина, “О полноте и $A$-полноте $S$-множеств детерминированных функций, содержащих все одноместные детерминированные $S$-функции”, Дискрет. матем., 21:2 (2009), 75–87; Discrete Math. Appl., 19:3 (2009), 263–276

Цитирование в формате AMSBIB
\RBibitem{Pod09}
\by М.~А.~Подколзина
\paper О полноте и $A$-полноте $S$-множеств детерминированных функций, содержащих все одноместные детерминированные $S$-функции
\jour Дискрет. матем.
\yr 2009
\vol 21
\issue 2
\pages 75--87
\mathnet{http://mi.mathnet.ru/dm1047}
\crossref{https://doi.org/10.4213/dm1047}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2562228}
\elib{https://elibrary.ru/item.asp?id=20730287}
\transl
\jour Discrete Math. Appl.
\yr 2009
\vol 19
\issue 3
\pages 263--276
\crossref{https://doi.org/10.1515/DMA.2009.015}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-67849130358}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/dm1047
  • https://doi.org/10.4213/dm1047
  • http://mi.mathnet.ru/rus/dm/v21/i2/p75

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. В. А. Буевич, М. А. Подколзина, “Об алгоритмической разрешимости задачи об $A$-полноте для систем ограниченно-детерминированных функций, содержащих все одноместные $S$-о.-д. функции”, Дискрет. матем., 24:4 (2012), 56–69  mathnet  crossref  mathscinet  elib; V. A. Buevich, M. A. Podkolzina, “On algorithmic solvability of the $A$-completeness problem for systems of boundedly determinate functions containing all one-place boundedly determinate $S$-functions”, Discrete Math. Appl., 22:5-6 (2012), 555–569  crossref
  • Дискретная математика
    Просмотров:
    Эта страница:196
    Полный текст:114
    Литература:40
    Первая стр.:7
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021