دانلود کتاب Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application (به فارسی: هندبوک زبان های رسمی: جلد 2. مدل سازی خطی: پیشینه و کاربرد) نوشته شده توسط «Grzegorz Rozenberg – Arto Salomaa»
اطلاعات کتاب هندبوک زبان های رسمی: جلد 2. مدل سازی خطی: پیشینه و کاربرد
موضوع اصلی: 1
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Grzegorz Rozenberg – Arto Salomaa
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2001
تعداد صفحه: 276
حجم کتاب: 42 مگابایت
کد کتاب: 3540606483 , 9783540606482
نوبت چاپ: 1
توضیحات کتاب هندبوک زبان های رسمی: جلد 2. مدل سازی خطی: پیشینه و کاربرد
به عنوان دکتری. داوطلبی که در تجزیه کار می کند و به نحو نظری مدل علاقه مند است، این کتاب را بسیار مفید یافتم. من به رابطه بین زبان ها، خودکارها و منطق و چگونگی ارتباط آنها با تجزیه و استنتاج بسیار علاقه مند شده ام. این کتاب راهنما این موارد را با نکات اضافی در فصل‌هایی ارائه می‌کند که از آنچه خوانده‌ام – کتاب را کامل نخوانده‌ام – به خوبی نوشته شده و در دسترس است. و نویسندگان به ارتباط بین آثار یکدیگر اشاره می کنند.
چیزی که به خصوص برای من جالب است تمرکز بر زبان‌هایی است که مدل‌های انتخاب‌شده رشته‌ای نیستند، بلکه در عوض درخت‌ها، نمودارها و غیره هستند. به عنوان مثال، کار کنونی من در مورد تجزیه نیمه‌سازی است، با اتوماتای درختی به عنوان مدل عملیاتی. من علاقه مند به استفاده از تجزیه به عنوان کسر برای مدل هایی هستم که کلاس های دلخواه گراف هایی هستند که توسط گرامرهایی که به صورت فرمول هایی در برخی منطق نوشته شده اند توصیف می شوند. من که اخیراً این کتابچه راهنما را برای مراجعات بعدی خریدم، از یافتن یک فصل بسیار در دسترس و مفید در مورد اتوماتای درختی که به کاری که تازه شروع کرده ام مربوط می شود، بسیار خوشحال شدم.
برای علاقه‌مندی‌های من، فصل‌های مربوط به گرامر، بازنویسی اصطلاحات و خودکار، زبان‌ها و منطق نیز فریبنده هستند و من مشتاقانه منتظر خواندن آنها هستم. فصل‌های دیگر برای کار من مرکزی نیستند، اما مشتاقانه منتظر خواندن آنها هستم، زیرا جالب به نظر می‌رسند.
من هر محققی را که با زبان‌ها کار می‌کند، چه زبان‌های مصنوعی مانند درختان XML، نمودارهایی که شبکه‌ها یا اثبات‌ها را نشان می‌دهند، یا زبان‌های طبیعی باشند، تشویق می‌کنم که مایلند وارد هزاره جدید این کتاب و همچنین مجلدات دیگر کتاب راهنما شوند. زبان های رسمی
What is especially interesting to me is the focus on languages where the chosen models are not strings, but instead trees, graphs, etc. For example, my present work is about semiring parsing, with tree automata as the operational model. I am interested in applying parsing as deduction to models which are arbitrary classes of graphs described by grammars written as formulas in some logic. Having recently bought this handbook for future reference, I was delighted to find a very accessible and useful chapter on tree automata which related to work I just started.
For my interests, the chapters on graph grammars, term rewriting and on automata, languages and logic are also enticing and I look forward to reading them as well. The other chapters aren’t central to my own work, but I also look forward to reading them, for they seem interesting.
I encourage any researcher working with languages, whether they be artificial ones like XML trees, graphs representing networks or proofs, or they are natural languages, who would like to enter the new millenium to read this book as well as the other volumes of the Handbook of Formal Languages.
دانلود کتاب «هندبوک زبان های رسمی: جلد 2. مدل سازی خطی: پیشینه و کاربرد»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.