کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10333729 | 689175 | 2015 | 25 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Symbol different term rewrite systems
ترجمه فارسی عنوان
نماد سیستم های اصلاح اصطلاحات مختلف
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
دوره بازنویسی سیستم، مبدل درخت چمن،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We propose the construction of an EGTRS which approximates the reduction of a given term rewrite system. We present heuristics which build such approximations or candidates for such approximations, and hence face the following problem: is it decidable for any term rewrite system R and ground tree transducer (A,B), whether (A,B) is an upper approximation of R? We introduce the notion of a symbol different term rewrite system, and show that for symbol different term rewrite systems the above problem is decidable. On the other hand, it is undecidable for any linear symbol different term rewrite system R and deterministic bottom-up tree automaton A, whether the ground tree transducer (A,A) is a lower approximation of R.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 84, Issue 5, September 2015, Pages 551-575
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 84, Issue 5, September 2015, Pages 551-575
نویسندگان
Sándor Vágvölgyi,