کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4950656 1364296 2017 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Complexity of a problem concerning reset words for Eulerian binary automata
ترجمه فارسی عنوان
پیچیدگی یک مشکل در مورد کلمات بازنشانی برای اتوماتای ​​باینری اویلر
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
A word is called a reset word for a deterministic finite automaton if it maps all the states of the automaton to a unique state. Deciding about the existence of a reset word of a given length for a given automaton is known to be an NP-complete problem. We prove that it remains NP-complete even if restricted to Eulerian automata with binary alphabets as it has been conjectured by Martyugin (2011).
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 253, Part 3, April 2017, Pages 497-509
نویسندگان
,