دانلود کتاب Formal Languages and Compilation (3rd Edition) – زبان های رسمی و تالیف (ویرایش سوم)

دسته بندی :
اطلاعات کتاب
  • جلد
  • سری Texts in Computer Science
  • ویرایش 3rd
  • سال 2019
  • نویسنده (گان) Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti
  • ناشر Springer
  • زبان English
  • تعداد صفحات 509
  • حجم فایل 9.35MB
  • فرمت فایل pdf
  • شابک 9783030048785, 9783030048792
قیمت محصول :

45,000 تومان

با خرید این محصول، 2,250 تومان به کیف پول شما بازگشت داده می‌شود

روند خرید و دریافت کتاب‌ها بدون هیچ اختلالی انجام می‌شود.
تمامی فایل‌ها بر روی سرورهای داخلی میزبانی می‌شوند تا بتوانید به راحتی و در لحظه آن‌ها را دانلود کنید. در صورت بروز هرگونه مشکل یا نیاز به راهنمایی، لطفاً از طریق « صفحه تماس باما» با تیم پشتیبانی در ارتباط باشید.

تمامی کتاب های موجود در وبسایت سای وان به زبان انگلیسی میباشد

توضیحات

This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators.

This significantly updated and expanded third edition has been enhanced with additional coverage of regular expressions, visibly pushdown languages, bottom-up and top-down deterministic parsing algorithms, and new grammar models.

Topics and features: describes the principles and methods used in designing syntax-directed applications such as parsing and regular expression matching; covers translations, semantic functions (attribute grammars), and static program analysis by data flow equations; introduces an efficient method for string matching and parsing suitable for ambiguous regular expressions (NEW); presents a focus on extended BNF grammars with their general parser and with LR(1) and LL(1) parsers (NEW); introduces a parallel parsing algorithm that exploits multiple processing threads to speed up syntax analysis of large files; discusses recent formal models of input-driven automata and languages (NEW); includes extensive use of theoretical models of automata, transducers and formal grammars, and describes all algorithms in pseudocode; contains numerous illustrative examples, and supplies a large set of exercises with solutions at an associated website.

Advanced undergraduate and graduate students of computer science will find this reader-friendly textbook to be an invaluable guide to the essential concepts of syntax-directed compilation. The fundamental paradigms of language structures are elegantly explained in terms of the underlying theory, without requiring the use of software tools or knowledge of implementation, and through algorithms simple enough to be practiced by paper and pencil.

————————————————————–

ترجمه ماشینی :

این کتاب درسی که در کلاس درس آزمایش شده و به وضوح نوشته شده است، راهنمای متمرکزی برای مبانی مفهومی تالیف، توضیح اصول اساسی و الگوریتم‌های مورد استفاده برای تعریف نحو زبان‌ها، و برای پیاده‌سازی مترجم‌های ساده ارائه می‌دهد. این نسخه سوم به‌طور قابل‌توجهی به‌روز شده و گسترش‌یافته با پوشش اضافی عبارات منظم، زبان‌های به‌طور مشهود، الگوریتم‌های تجزیه قطعی از پایین به بالا و بالا به پایین و مدل‌های دستور زبان جدید بهبود یافته است. موضوعات و ویژگی ها: اصول و روش های مورد استفاده در طراحی برنامه های کاربردی مبتنی بر نحو مانند تجزیه و تطبیق عبارات منظم را شرح می دهد. ترجمه ها، توابع معنایی (گرامرهای ویژگی)، و تجزیه و تحلیل برنامه ایستا با معادلات جریان داده را پوشش می دهد. یک روش کارآمد برای تطبیق و تجزیه رشته ها مناسب برای عبارات منظم مبهم (NEW) معرفی می کند. تمرکز بر گرامرهای توسعه یافته BNF با تجزیه کننده عمومی آنها و با تجزیه کننده های LR(1) و LL(1) (NEW) ارائه می کند. یک الگوریتم تجزیه موازی را معرفی می کند که از رشته های پردازشی متعدد برای سرعت بخشیدن به تجزیه و تحلیل نحو فایل های بزرگ استفاده می کند. مدل‌های رسمی اخیر خودکارها و زبان‌های مبتنی بر ورودی (NEW) را مورد بحث قرار می‌دهد. شامل استفاده گسترده از مدل‌های نظری خودکار، مبدل‌ها و گرامرهای رسمی است و همه الگوریتم‌ها را در شبه کد توصیف می‌کند. شامل مثال‌های توضیحی متعددی است و مجموعه بزرگی از تمرین‌ها را با راه‌حل‌ها در یک وب‌سایت مرتبط ارائه می‌کند. دانشجویان پیشرفته کارشناسی و کارشناسی ارشد علوم کامپیوتر، این کتاب درسی خواننده پسند را راهنمای ارزشمندی برای مفاهیم اساسی تدوین مبتنی بر نحو خواهند دانست. پارادایم های اساسی ساختارهای زبانی به زیبایی بر اساس نظریه زیربنایی، بدون نیاز به استفاده از ابزارهای نرم افزاری یا دانش پیاده سازی، و از طریق الگوریتم هایی به اندازه کافی ساده برای تمرین با کاغذ و مداد توضیح داده می شوند.


 

tag : دانلود کتاب زبان های رسمی و تالیف (ویرایش سوم) , Download زبان های رسمی و تالیف (ویرایش سوم) , دانلود زبان های رسمی و تالیف (ویرایش سوم) , Download Formal Languages and Compilation (3rd Edition) Book , زبان های رسمی و تالیف (ویرایش سوم) دانلود , buy زبان های رسمی و تالیف (ویرایش سوم) , خرید کتاب زبان های رسمی و تالیف (ویرایش سوم) , دانلود کتاب Formal Languages and Compilation (3rd Edition) , کتاب Formal Languages and Compilation (3rd Edition) , دانلود Formal Languages and Compilation (3rd Edition) , خرید Formal Languages and Compilation (3rd Edition) , خرید کتاب Formal Languages and Compilation (3rd Edition) ,

نقد و بررسی‌ها

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

اولین کسی باشید که دیدگاهی می نویسد “دانلود کتاب Formal Languages and Compilation (3rd Edition) – زبان های رسمی و تالیف (ویرایش سوم)”