|
Сибирский математический журнал, 2005, том 46, номер 1, страницы 71–78
(Mi smj958)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Сложность некоторых естественных проблем в автоматных структурах
Н. С. Винокуров Новосибирский государственный университет, механико-математический факультет
Аннотация:
Доказано, что проблема автоматного изоморфизма автоматных структур, проблема существования нетривиального автоматного автоморфизма автоматной структуры, проблема автоматной вложимости автоматных структур $\Sigma_1^0$-полны. Также показана $\Sigma_1^1$-полнота проблемы вложения автоматных структур.
Ключевые слова:
конечный автомат, автоматные структуры, проблема изоморфизма.
Статья поступила: 26.11.2003 Окончательный вариант: 01.12.2004
Образец цитирования:
Н. С. Винокуров, “Сложность некоторых естественных проблем в автоматных структурах”, Сиб. матем. журн., 46:1 (2005), 71–78; Siberian Math. J., 46:1 (2005), 56–61
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj958 https://www.mathnet.ru/rus/smj/v46/i1/p71
|
|