در دنیای رایانهای امروزی، توسعه علمی و مطالعه محاسبات، که به عنوان نظریه محاسبات شناخته میشود، نقشی حیاتی ایفا میکند. یکی از شاخههای مهم، نظریه زبان است که به بررسی چگونگی تعریف و مطالعه زبانها و مدلهای آنها میپردازد، مدلهایی که الگوریتمهایی را رسمی میکنند که محاسبات بر اساس آنها انجام میشود. این مدلهای تعریفکننده زبان به دو دسته اساسی طبقهبندی میشوند: اتوماتا، که زبانها را با تشخیص کلماتشان تعریف میکنند، و گرامرها، که آنها را تولید میکنند. این قوانین که چندین دهه پیش معرفی شدهاند، بازتابدهنده محاسبات ترتیبی کلاسیک هستند. با این حال، روشهای محاسباتی امروزی اغلب اطلاعات را به شیوهای اساساً متفاوت پردازش میکنند و اغلب از بخشهای بزرگی از اطلاعات به طور کلی “جهش” میکنند. این کتاب مدلهای کلاسیک را برای رسمیسازی و مطالعه مناسب این نوع محاسبات تطبیق میدهد. به بیان ساده، این نسخههای تطبیقیافته، که اتوماتا و گرامرهای جهشی نامیده میشوند، در طول فرآیند تعریف زبان، از روی کلماتی که روی آنها کار میکنند، میپرند.
این کتاب مدلهای مهم را انتخاب کرده و نتایج کلیدی مربوط به آنها را به روشی فشرده و یکنواخت خلاصه میکند. این کتاب هر مدل را به شکل خاصی از محاسبات مدرن، مانند محاسبات ترتیبی، نیمه موازی و کاملاً موازی مرتبط میکند و توضیح میدهد که چگونه مدل مورد نظر به درستی شکل مربوطه از محاسبات را منعکس و رسمی میکند، بنابراین به ما امکان میدهد تا مجموعهای نظاممند از دانش ریاضیاتی دقیق در مورد محاسبات جهشی به دست آوریم. این کتاب توجه ویژهای به توانایی، ویژگیهای بستاری و تبدیلات دارد و همچنین بسیاری از الگوریتمهایی را شرح میدهد که گرامرها و اتوماتای جهشی را به گونهای تغییر میدهند که برخی از ویژگیهای تعیینشده را بدون تغییر زبان تعریفشده برآورده کنند. این کتاب برای هر کسی که در زمینه نظریه محاسبات در رشتههای علوم کامپیوتر، ریاضیات، مهندسی، منطق و زبانشناسی تحقیق میکند، بسیار جذاب خواهد بود.
