کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
434343 | 689719 | 2014 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Isomorphisms of scattered automatic linear orders
ترجمه فارسی عنوان
ایزومورفیسم فرآیندهای خطی اتوماتیک پراکنده
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
سفارشات خطی، ساختارهای خودکار، سفارش خطی بدون متن
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We prove that the isomorphism of scattered tree-automatic linear orders as well as the existence of automorphisms of scattered word-automatic linear orders are undecidable. For the existence of automatic automorphisms of word- or tree-automatic linear orders, we determine the exact level of undecidability in the arithmetical hierarchy.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 533, 8 May 2014, Pages 46–63
Journal: Theoretical Computer Science - Volume 533, 8 May 2014, Pages 46–63
نویسندگان
Dietrich Kuske,