|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Булева сводимость
С. С. Марченков
Аннотация:
На множестве всех бесконечных двоичных последовательностей определяется оператор булевой сводимости — вариант оператора конечно-автоматной сводимости, когда рассматриваются автоматы с несколькими входами и одним состоянием. Каждое множество $Q$ булевых функций, содержащее селекторную функцию и замкнутое относительно операции суперпозиции специального вида, определяет $Q$-сводимость и $Q$-степени — множества $Q$-эквивалентных последовательностей. В работе исследуются свойства частично упорядоченного множества $\mathcal L_Q$ всех $Q$-степеней: наличие максимальных, минимальных и наибольшего элементов,
существование бесконечных цепей и антицепей, существование верхних граней.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект 03–01–00783.
Статья поступила: 31.10.2002
Образец цитирования:
С. С. Марченков, “Булева сводимость”, Дискрет. матем., 15:3 (2003), 40–53; Discrete Math. Appl., 13:4 (2003), 331–342
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm204https://doi.org/10.4213/dm204 https://www.mathnet.ru/rus/dm/v15/i3/p40
|
Статистика просмотров: |
Страница аннотации: | 440 | PDF полного текста: | 218 | Список литературы: | 39 | Первая страница: | 1 |
|