کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
434294 | 689714 | 2014 | 20 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Weak morphisms of higher dimensional automata
ترجمه فارسی عنوان
مورفیسم های ضعیف اتوماتای ابعاد بالاتر
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
اتوماتای بعدی بعدی، مجموعه مقدماتی، تحقق هندسی، ردیابی زبان، رابطه قبلی انتزاع - مفهوم - برداشت
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We introduce weak morphisms of higher dimensional automata and use them to define preorder relations for HDAs, among which are homeomorphic abstraction and trace equivalent abstraction. It is shown that homeomorphic abstraction is essentially always stronger than trace equivalent abstraction. We also define the trace language of an HDA and show that, for a large class of HDAs, it is invariant under trace equivalent abstraction.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 536, 29 May 2014, Pages 42–61
Journal: Theoretical Computer Science - Volume 536, 29 May 2014, Pages 42–61
نویسندگان
Thomas Kahl,