اتوماتا و محاسبه‌پذیری ۲۰۱۹
Automata and Computability 2019

«اتوماتا و محاسبات‌پذیری» کتابی است که در کلاس‌های درس مختلف امتحان خود را پس داده و مقدمه‌ای جامع و در دسترس برای نظریه‌ی اتوماتا و محاسبات ارائه می‌دهد. نویسنده با استفاده از تصاویر، مثال‌های جذاب و اشارات تاریخی، مطالب را برای دانشجویان جالب و مرتبط می‌سازد. این کتاب ایده‌های مدرن و کاربردی را در خود جای داده است، مانند تجزیه‌ی مبتنی بر مشتق و یک کاهنده‌ی Lambda که جهان‌شمولی حساب Lambda را نشان می‌دهد. همچنین، کتاب نشان می‌دهد که چگونه با در دسترس قرار دادن خط لوله‌ی تبدیل زبان منظم از طریق یک رابط دستوری ساده، می‌توان اتوماتا را «شکل‌دهی» کرد. یک نوت‌بوک Jupyter همراه کتاب خواهد بود که کدها، ویدیوهای YouTube و سایر مکمل‌ها را برای کمک به اساتید و دانشجویان ارائه می‌دهد.

ویژگی‌ها:

• از تصاویر، مثال‌های جذاب و اشارات تاریخی برای در دسترس قرار دادن مطالب استفاده می‌کند.
• ایده‌های مدرن و کاربردی را در خود جای داده است، مانند تجزیه‌ی مبتنی بر مشتق و یک کاهنده‌ی Lambda که جهان‌شمولی حساب Lambda را نشان می‌دهد.
• نشان می‌دهد که چگونه با در دسترس قرار دادن خط لوله‌ی تبدیل زبان منظم از طریق یک رابط دستوری ساده، می‌توان اتوماتا را «شکل‌دهی» کرد.
• از یک علامت‌گذاری برنامه‌نویسی تابعی (FP) کوچک متشکل از لامبداها، نقشه‌ها، فیلترها و درک مجموعه‌ها (پشتیبانی شده در پایتون) برای انتقال ریاضیات از طریق ساختارهای PL استفاده می‌کند که مختصر هستند و شبیه ریاضیات هستند.
• تمامی مفاهیم در یک کد برنامه‌نویسی تابعی فشرده رمزگذاری شده‌اند که با نشانه‌گذاری Latex و ویجت‌های Jupyter در یک سند که همراه کتاب‌ها خواهد بود، هماهنگ می‌شود. دانشجویان می‌توانند کد را بدون زحمت اجرا کنند.

Automata and Computability is a class-tested textbook which provides a comprehensive and accessible introduction to the theory of automata and computation. The author uses illustrations, engaging examples, and historical remarks to make the material interesting and relevant for students. It incorporates modern/handy ideas, such as derivative-based parsing and a Lambda reducer showing the universality of Lambda calculus. The book also shows how to sculpt automata by making the regular language conversion pipeline available through a simple command interface. A Jupyter notebook will accompany the book to feature code, YouTube videos, and other supplements to assist instructors and students

Features

• Uses illustrations, engaging examples, and historical remarks to make the material accessible
• Incorporates modern/handy ideas, such as derivative-based parsing and a Lambda reducer showing the universality of Lambda calculus
• Shows how to “sculpt” automata by making the regular language conversion pipeline available through simple command interface
• Uses a mini functional programming (FP) notation consisting of lambdas, maps, filters, and set comprehension (supported in Python) to convey math through PL constructs that are succinct and resemble math
• Provides all concepts are encoded in a compact Functional Programming code that will tesselate with Latex markup and Jupyter widgets in a document that will accompany the books. Students can run code effortlessly href=”https://github.com/ganeshutah/Jove.git/”here.