Handbook of Mathematical Models for Languages and Computation

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

این کتاب با دقت مفاهیم مهم را معرفی می‌کند. از این نوع است و از آنها برای پوشش مهم ترین مدل های ریاضی برای زبان ها و محاسبات، مانند انواع مختلف خودکار و دستور زبان کلاسیک و همچنین مدرن استفاده می کند. استفاده از آنها را در موضوعات بسیار مهم تئوری محاسبات مانند محاسبات پذیری، تصمیم پذیری و پیچیدگی محاسباتی توضیح می دهد. نویسندگان توجه ویژه ای به اجرای همه این مفاهیم و مدل های ریاضی دارند و نحوه رمزگذاری آنها را در عمل محاسباتی به وضوح توضیح می دهند. همه برنامه های کامپیوتری با سی شارپ نوشته شده اند.

The theory of computation is used to address challenges arising in many computer science areas such as artificial intelligence, language processors, compiler writing, information and coding systems, programming language design, computer architecture and more. To grasp topics concerning this theory readers need to familiarize themselves with its computational and language models, based on concepts of discrete mathematics including sets, relations, functions, graphs and logic.

This handbook introduces with rigor the important concepts of this kind and uses them to cover the most important mathematical models for languages and computation, such as various classical as well as modern automata and grammars. It explains their use in such crucially significant topics of computation theory as computability, decidability, and computational complexity. The authors pay special attention to the implementation of all these mathematical concepts and models and explains clearly how to encode them in computational practice. All computer programs are written in C#.