دسته: برنامه نویسی: کامپایلرها
دانلود کتاب زبان های رسمی و تالیف بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Formal Languages and Compilation
ویرایش : 2nd
عنوان ترجمه شده به فارسی : زبان های رسمی و تالیف
سری : Texts in Computer Science
نویسندگان : Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti
ناشر : Springer
سال نشر : 2013
تعداد صفحات : 408
ISBN (شابک) : 9781447155133 , 9781447155140
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 6 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
این ویرایش جدید اصلاحشده و توسعهیافته ظرافت و سادگی نظریه بنیادی زیربنای زبانهای رسمی و تالیف را روشن میکند. این کتاب درسی همه کاره با حفظ سبک خوانندهپسند ویرایش اول، اصول و روشهای ضروری مورد استفاده برای تعریف نحو زبانهای مصنوعی، و برای طراحی الگوریتمهای تجزیه کارآمد و مترجمهای مبتنی بر نحو با ویژگیهای معنایی را شرح میدهد. ویژگیها: یک رویکرد مفهومی جدید برای الگوریتمهای تجزیه ارائه میکند که برای گرامرهای توسعهیافته BNF، همراه با یک الگوریتم تجزیه موازی (NEW) اعمال میشود. ابزارهای آموزشی تکمیلی را در یک وب سایت مرتبط فراهم می کند. به طور سیستماتیک اشکال مبهم را مورد بحث قرار می دهد و به خوانندگان این امکان را می دهد که از دام ها اجتناب کنند. تمام الگوریتم ها را در شبه کد توضیح می دهد. استفاده گسترده ای از مدل های نظری خودکار، مبدل ها و گرامرهای رسمی می کند. شامل پوشش مختصری از الگوریتمها برای پردازش عبارات منظم و خودکارهای محدود است. تجزیه و تحلیل برنامه استاتیک را بر اساس معادلات جریان معرفی می کند.
This revised and expanded new edition elucidates the elegance and simplicity of the fundamental theory underlying formal languages and compilation. Retaining the reader-friendly style of the 1st edition, this versatile textbook describes the essential principles and methods used for defining the syntax of artificial languages, and for designing efficient parsing algorithms and syntax-directed translators with semantic attributes. Features: presents a novel conceptual approach to parsing algorithms that applies to extended BNF grammars, together with a parallelparsing algorithm (NEW); supplies supplementary teaching tools at an associated website; systematically discusses ambiguous forms, allowing readers to avoid pitfalls; describes all algorithms in pseudocode; makes extensive usage of theoretical models of automata, transducers and formal grammars; includes concise coverage of algorithms for processing regular expressions and finite automata; introduces static program analysis based on flow equations.