خرید و دانلود نسخه کامل کتاب Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations (Handbook of Graph Grammars and Computing by Graph Transformation)

توضیحاتی در مورد کتاب

گرامرهای گراف در اواخر دهه 60 با انگیزه ملاحظات مربوط به تشخیص الگو و ساخت کامپایلر شکل گرفتند. از آن زمان به بعد، فهرست مناطقی که با توسعه گرامرهای گراف در تعامل بوده اند، به طرز چشمگیری افزایش یافته است. علاوه بر زمینه‌های ذکر شده، شامل مشخصات و توسعه نرم‌افزار، طرح‌های چیدمان VLSI، طراحی پایگاه داده، مدل‌سازی سیستم‌های همزمان، معماری‌های کامپیوتری موازی، برنامه‌نویسی منطقی، انیمیشن رایانه‌ای، زیست‌شناسی توسعه، ترکیب موسیقی، زبان‌های بصری و بسیاری دیگر می‌شود. حوزه گرامرها و تبدیل گراف ها نظریه زبان رسمی را بر اساس رشته ها و نظریه بازنویسی اصطلاحات را بر اساس درختان تعمیم می دهد. در واقع در حوزه گرامرهای گراف، تبدیل گراف به عنوان یک پارادایم برنامه نویسی اساسی در نظر گرفته می شود که در آن محاسبات شامل مشخصات، برنامه نویسی و پیاده سازی می شود. در طول 25 سال گذشته، گرامرهای گراف با سرعتی ثابت به یک زمینه تحقیقاتی جذاب و با انگیزه نظری تبدیل شده اند. به ویژه، آنها اکنون بر پایه های بسیار محکمی هستند که در این جلد ارائه شده است. جلد 1 از “راهنمای گرامر و محاسبات گراف با تبدیل گراف” شامل ارائه پیشرفته ای از مبانی همه رویکردهای اساسی برای تعیین و تبدیل گراف مبتنی بر قانون است: رویکرد جبری، رویکرد منطقی، بازنویسی مبتنی بر گره، بازنویسی مبتنی بر لبه (hyer)، بازنویسی گراف برنامه ریزی شده، و ساختارهای 2. این کتاب به سبک آموزشی/نظرسنجی نوشته شده است تا سودمندی آن را افزایش دهد.