کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6875478 | 1441957 | 2018 | 13 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Descendants of a recognizable tree language for prefix constrained linear monadic term rewriting with position cutting strategy
ترجمه فارسی عنوان
فرزندان یک زبان درخت قابل تشخیص برای پیشوند محدودیت خطی مونادیک با بازنویسی با استراتژی برش موقعیت
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
سیستم بازنگری مونادیک، ماشین درخت، فرزند یک زبان درخت، پیشوند محدودیت استراتژی بازنویسی برش،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
For a tree language L, a finite set Z of regular Σ-path languages, and a set S of Z-prefix constrained linear monadic term rewriting rules over Σ, the position cutting descendant of L for S is the set Sââ(L) of trees reachable from a tree in L by rewriting in S by position cutting strategy. If L is recognizable, then Sââ(L) is recognizable as well. Moreover, if S is finite, then we can construct a tree automaton recognizing Sââ(L). For a recognizable tree language L and a finite set Z of regular Σ-path languages, we study the set DZ,â(L) of position cutting descendants of L for all sets of Z-prefix constrained linear monadic term rewriting rules over Σ. We show that DZ,â(L) is finite, and that if L is given by a tree automaton A and each element of Z is given by an automaton, then we can construct a set {R1,â¦,Rk} of Z-prefix constrained linear monadic term rewriting systems over Σ such that DZ,â(L)={R1ââ(L),â¦,Rkââ(L)}.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 732, 7 July 2018, Pages 60-72
Journal: Theoretical Computer Science - Volume 732, 7 July 2018, Pages 60-72
نویسندگان
Sándor Vágvölgyi,