RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды Математического института имени В. А. Стеклова // Архив

Тр. МИАН СССР, 1973, том 129, страницы 30–202 (Mi tm3173)

Эта публикация цитируется в 1 статье

Распознавание предиката симметрии многоголовчатыми машинами Тьюринга со входом

А. О. Слисенко


Аннотация: В работе доказано, что предикат симметрии распознается некоторой шестиголовчатой машиной Тьюринга со входом в реальное время. Илл. – 19, табл. – 9, библ. – 5 назв.

УДК: 51.01:518.5


 Англоязычная версия: Proceedings of the Steklov Institute of Mathematics, 1973, 129, 25–208

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


© МИАН, 2024