|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
О классификации автоматных базисов Поста по разрешимости свойств $A$-полноты для дефинитных автоматов
Д. Н. Жук
Аннотация:
В работе рассматриваются системы вида $M=F\cup\nu$, где $F$ – некоторый класс Поста, а $\nu$ – конечная система дефинитных автоматов. Все классы Поста были разделены на те, для которых проблема $A$-полноты таких систем дефинитных автоматов алгоритмически разрешима, и те, для которых проблема $A$-полноты алгоритмически неразрешима.
Статья поступила: 03.02.2010
Образец цитирования:
Д. Н. Жук, “О классификации автоматных базисов Поста по разрешимости свойств $A$-полноты для дефинитных автоматов”, Дискрет. матем., 22:2 (2010), 80–95; Discrete Math. Appl., 20:3 (2010), 337–355
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm1097https://doi.org/10.4213/dm1097 https://www.mathnet.ru/rus/dm/v22/i2/p80
|
Статистика просмотров: |
Страница аннотации: | 534 | PDF полного текста: | 133 | Список литературы: | 45 | Первая страница: | 17 |
|