کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10333905 | 689835 | 2011 | 14 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The word problem for Ï-terms over DA
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
In this paper, we solve the word problem for Ï-terms over DA. We extend to DA the ideas used by Almeida and Zeitoun to solve the analogous problem for the pseudovariety R applying also a representation by automata of implicit operations on DA, which was recently obtained by the author. Considering certain types of factors of an implicit operation on DA, we can prove that a pseudoword on DA is an Ï-term if and only if the associated minimal DA-automaton is finite. Finally, we complete the result by effectively computing in polynomial time the minimal DA-automaton associated to an Ï-term.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 412, Issue 46, 28 October 2011, Pages 6556-6569
Journal: Theoretical Computer Science - Volume 412, Issue 46, 28 October 2011, Pages 6556-6569
نویسندگان
A. Moura,