|
Журнал вычислительной математики и математической физики, 1974, том 14, номер 1, страницы 198–208
(Mi zvmmf6460)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Относительно функциональной системы $\mathscr P_\Sigma$
В. Б. Кудрявцев Москва
Аннотация:
Изучаются свойства некоторых алгебр, возникающих в структурной теории автоматов и называемых функциональными системами $\mathscr P_\Sigma$. Устанавливается критерий конечной порожденности $\mathscr P_\Sigma$. Показывается, что не всегда в $\mathscr P_\Sigma$ каждая собственная подалгебра содержится в максимальной, приводится соответствующий критерий. Устанавливается, что все максимальные подалгебры в $\mathscr P_\Sigma$ образуют конечное множество. Показывается алгоритмическая разрешимость задачи о полноте конечных систем в $\mathscr P_\Sigma$. Находится длина минимального базиса в $\mathscr P_\Sigma$ и показывается, что в $\mathscr P_\Sigma$ имеется континуум подалгебр точно тогда, когда $\mathscr P_\Sigma$ отлична от алгебры Поста функций алгебры логики. В заключение описываются все открыто-замкнутые множества в $\mathscr P_\Sigma$ и указывается порядок $\mathscr P_\Sigma$.
Поступила в редакцию: 26.12.1972
Образец цитирования:
В. Б. Кудрявцев, “Относительно функциональной системы $\mathscr P_\Sigma$”, Ж. вычисл. матем. и матем. физ., 14:1 (1974), 198–208; U.S.S.R. Comput. Math. Math. Phys., 14:1 (1974), 194–203
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/zvmmf6460 https://www.mathnet.ru/rus/zvmmf/v14/i1/p198
|
Статистика просмотров: |
Страница аннотации: | 217 | PDF полного текста: | 92 | Первая страница: | 1 |
|