کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
434343 689719 2014 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Isomorphisms of scattered automatic linear orders
ترجمه فارسی عنوان
ایزومورفیسم فرآیندهای خطی اتوماتیک پراکنده
کلمات کلیدی
سفارشات خطی، ساختارهای خودکار، سفارش خطی بدون متن
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی

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
نویسندگان
,