کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10325558 | 675461 | 2005 | 46 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Tree automata for rewrite strategies
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Tree automata for rewrite strategies Tree automata for rewrite strategies](/preview/png/10325558.png)
چکیده انگلیسی
For a constructor-based rewrite system R, a regular set of ground terms E, and assuming some additional restrictions, we build finite tree automata that recognize the descendants of E, i.e. the terms issued from E by rewriting, according to innermost, outermost, leftmost, and innermost-leftmost strategies.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Symbolic Computation - Volume 40, Issue 1, July 2005, Pages 749-794
Journal: Journal of Symbolic Computation - Volume 40, Issue 1, July 2005, Pages 749-794
نویسندگان
Pierre Réty, Julie Vuotto,