|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Конечность множества автоматных базисов Поста с разрешимой проблемой полноты
Д. Н. Бабин
Аннотация:
Рассматриваются базисы вида $M=\Phi\cup\nu$, где $\Phi$ — некоторый класс Поста, а $\nu$ — конечная система автоматных функций. Показано, что множества классов Поста $\Phi$, для которых разрешима проблема полноты $\Phi\cup\nu$, соответственно, $A$-полноты $\Phi\cup\nu$, являются конечными.
Статья поступила: 18.05.1998
Образец цитирования:
Д. Н. Бабин, “Конечность множества автоматных базисов Поста с разрешимой проблемой полноты”, Дискрет. матем., 10:3 (1998), 57–63; Discrete Math. Appl., 8:5 (1998), 475–482
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm430https://doi.org/10.4213/dm430 https://www.mathnet.ru/rus/dm/v10/i3/p57
|
Статистика просмотров: |
Страница аннотации: | 401 | PDF полного текста: | 194 | Первая страница: | 1 |
|