Аннотация:
Получены точные оценки в арифметической и аналитической иерархиях индексных множеств различных классов автоматных моделей. Также получены оценки проблем существования вычислимого изоморфизма и вложения для автоматных структур.
Ключевые слова:автоматная модель, индексное множество, проблема вычислимого изоморфизма, однородность, универсальность.
УДК:510.51, 519.716.35
Статья поступила: 18.05.2005 Окончательный вариант: 22.03.2006
Полный текст:
PDF файл (235 kB)
