Аннотация:
Доказано, что проблема автоматного изоморфизма автоматных структур, проблема существования нетривиального автоматного автоморфизма автоматной структуры, проблема автоматной вложимости автоматных структур Σ01-полны. Также показана Σ11-полнота проблемы вложения автоматных структур.
Ключевые слова:
конечный автомат, автоматные структуры, проблема изоморфизма.
Статья поступила: 26.11.2003 Окончательный вариант: 01.12.2004
Образец цитирования:
Н. С. Винокуров, “Сложность некоторых естественных проблем в автоматных структурах”, Сиб. матем. журн., 46:1 (2005), 71–78; Siberian Math. J., 46:1 (2005), 56–61
Liu J., Minnes M., “Analysing Complexity in Classes of Unary Automatic Structures”, Language and Automata Theory and Applications, Lecture Notes in Computer Science, 5457, 2009, 518–529
Н. С. Винокуров, “Группы автоматных автоморфизмов некоторых автоматных структур”, Сиб. электрон. матем. изв., 3 (2006), 145–152