دانلود کتاب Efficient Graph Rewriting and Its Implementation
49,000 تومان
بازنویسی کارآمد نمودار و اجرای آن
| موضوع اصلی | کامپیوتر – برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 266 / 269 |
| حجم فایل | 2.13 مگابایت |
| کد کتاب | 3540600558 , 9783540600558 |
| نوبت چاپ | 1 |
| نویسنده | Heiko Dörr (eds.) |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1995 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called UBS-GRS, where the complexity of a rewriting step is linear instead of NP, showing for example that visual programming is possible by UBS graph rewriting. Second, an abstract machine for graph rewriting is defined providing an instruction set sufficient for the execution of GRS.
The basic definitions of GRS in the algorithmic approach are introduced and extended by attribution and control structures to comprise a formalism for an operational specification. The translation of a functional programming language to graph rewriting shows the capabilities of UBS-GRS.
ترجمه فارسی (ترجمه ماشینی)
این کتاب دو نتیجه تحقیقاتی عمده را در مورد اجرای سریع سیستمهای بازنویسی نمودار (GRS) ارائه میکند. ابتدا، کلاس به اصطلاح UBS-GRS را بررسی می کند، که در آن پیچیدگی یک مرحله بازنویسی به جای NP خطی است، به عنوان مثال نشان می دهد که برنامه نویسی بصری با بازنویسی نمودار UBS امکان پذیر است. دوم، یک ماشین انتزاعی برای بازنویسی گراف تعریف میشود که مجموعه دستورالعملهای کافی برای اجرای GRS را ارائه میکند.
تعریف اساسی GRS در رویکرد الگوریتمی توسط ساختارهای اسناد و کنترل معرفی و گسترش مییابد تا فرمالیسمی را برای یک مشخصات عملیاتی تشکیل دهد. . ترجمه یک زبان برنامه نویسی کاربردی به بازنویسی نمودار قابلیت های UBS-GRS را نشان می دهد.

نقد و بررسیها
هنوز بررسیای ثبت نشده است.