|
Сибирские электронные математические известия, 2006, том 3, страницы 145–152
(Mi semr192)
|
|
|
|
Статьи
Группы автоматных автоморфизмов некоторых автоматных структур
Н. С. Винокуров Новосибирский государственный университет
Аннотация:
We prove that the group Auta({0,1}∗) of all automatic automorphisms of the regular
set {0,1}∗ and the group Auta(Q) of all automatic automorphisms of the automatic model Q=({0,1}∗,≼lex) have undecidable theories, which implies that they have no automatic presentations.
Поступила 5 апреля 2006 г., опубликована 18 апреля 2006 г.
Образец цитирования:
Н. С. Винокуров, “Группы автоматных автоморфизмов некоторых автоматных структур”, Сиб. электрон. матем. изв., 3 (2006), 145–152
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr192 https://www.mathnet.ru/rus/semr/v3/p145
|
Статистика просмотров: |
Страница аннотации: | 201 | PDF полного текста: | 53 | Список литературы: | 37 |
|