کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6876025 689940 2015 21 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Partial pullback complement rewriting
ترجمه فارسی عنوان
بازپرداخت جزئی بازپرداخت مکمل
ترجمه چکیده
سپس یک تکنیک بازنویسی جدید را پیشنهاد می کنیم، که بازنویسی جزء بازپرداخت جزئی است، که از تکمیل های کشیدن در یک دسته ی مورفیسم جزئی استفاده می شود. ما در نهایت این را با روشهای دوقطبی، تک نفس، دو نفوذ و سکسوکی-پوسچر مقایسه میکنیم، که نشان میدهد در دستههای خاص و در شرایط خاص، بازپرداخت بخشی جزئی بازنویسی است، به این معنی است و یا توسط بازنویسی بالا ذکر شده است. بعضی مثال های مثال آورده شده نیز ارائه شده است.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We then propose a new graph rewriting technique, called the partial pullback complement rewriting, that uses pullback complements in a partial morphism category. We finally compare this with the double-pullback, single pushout, double-pushout and sesqui-pushout techniques, proving that in certain categories and under certain conditions, the partial pullback complement rewriting, implies and/or is implied by the above mentioned rewritings. Some illustrative examples are also given.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 594, 23 August 2015, Pages 44-64
نویسندگان
, ,