کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4950678 1364298 2017 25 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Unranked second-order anti-unification
ترجمه فارسی عنوان
عدم انعطاف پذیری دوم درجه دوم
کلمات کلیدی
ضد انحصار عالی تر برای اصطلاحات غیرقانونی و حجاب، ضد متحد سازی با استفاده از زمینه و متغیرهای حفاظت، تعمیم جنگل ها،
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی

In this work we study anti-unification for unranked terms and hedges, permitting context and hedge variables. Hedges are sequences of unranked terms. The anti-unification problem of two hedges s˜ and q˜ is concerned with finding their generalization, a hedge g˜ such that both s˜ and q˜ are substitution instances of g˜. Second-order power is gained by using context variables to generalize vertical differences at the input hedges. Hedge variables are used to generalize horizontal differences. An anti-unification algorithm is presented, which computes a generalization of input hedges and records all the differences.The algorithm is parametric by a skeleton computation function. For instance, we can compute a generalization of a skeleton which represents a constrained longest common subforest, or an agreement subhedge/subtree of the input hedges. The computation of the generalization is done in quadratic time.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 255, Part 2, August 2017, Pages 262-286
نویسندگان
, ,