کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4952366 1364443 2017 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Decision algorithms for Fibonacci-automatic words, II: Related sequences and avoidability
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Decision algorithms for Fibonacci-automatic words, II: Related sequences and avoidability
چکیده انگلیسی
We use a decision procedure for the “Fibonacci-automatic” words to solve problems about a number of different sequences. In particular, we prove that there exists an aperiodic infinite binary word avoiding the pattern xxxR. This is the first avoidability result concerning a nonuniform morphism proven purely mechanically.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 657, Part B, 2 January 2017, Pages 146-162
نویسندگان
, , , , ,