ساده‌سازی نظریه محاسبات ۲۰۲۲
Theory of Computation Simplified 2022

ویژگی‌های کلیدی

● ایده‌های الگوریتمی با استفاده از مثال‌ها به زبانی ساده و قابل فهم ارائه شده‌اند.
● شامل طیف گسترده‌ای از مثال‌ها و تمرین‌های حل‌شده برای درک بهتر مفاهیم توسط دانشجویان.
● طراحی شده برای کمک و راهنمایی دانشجویان در به کارگیری مبانی نظریه محاسبات در موقعیت‌های واقعی.

توضیحات

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

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

آنچه خواهید آموخت

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

این کتاب برای چه کسانی مناسب است

این کتاب برای دانشجویان کارشناسی و کارشناسی ارشد رشته‌های علوم کامپیوتر، فناوری اطلاعات و مهندسی نرم‌افزار با درک اولیه‌ای از نظریه مجموعه‌ها و منطق بولی مناسب است.

فهرست مطالب

۱. اتوماتای متناهی
۲. اتوماتای متناهی غیرقطعی
۳. عبارات با قاعده
۴. گرامر مستقل از متن
۵. زبان منظم
۶. اتوماتای پشته‌ای
۷. ماشین‌های پُست
۸. ماشین‌های تورینگ
۹. محاسبه‌پذیری و تصمیم‌ناپذیری
۱۰. نظریه پیچیدگی: دیدگاه پیشرفته

A theory behind computing machines

KEY FEATURES  

● Algorithmic ideas are made simple to understand through the use of examples.

● Contains a wide range of examples and solutions to help students better grasp the concepts.

● Designed to assist and coach students in applying the fundamentals of computation theory in real-world situations.

DESCRIPTION 

The book is geared toward those who thirst for computation theory knowledge. To cater to the demands of a wide range of people, the principles in this book are explained in a way that is easy to understand, digest and apply in the upcoming career. 

The ‘Theory of Computation’ is the foundational and mathematical topic in computer science, computer applications, computer Engineering, and software engineering. This book provides a clear introduction to the fundamental principles, followed by an in-depth mathematical study and a wealth of solved problems. Before reading this book, learners must understand basic sets, functions, trees, graphs and strings. The book as a whole acquaints the reader with automata theory fundamentals. The book provides simplified theoretical coverage of the essential principles, solve instances, and solve multiple-choice problems with solutions. The theory and computation of automata presented in this book will greatly assist students and professors alike.

WHAT YOU WILL LEARN

● Create finite automata that aren’t predictable.

● Create regular expressions in any language.

● Convert context-free grammar to Chomsky and Greibach’s normal forms.

● Build deterministic and non-deterministic pushdown automata for the regular expression.

● Know the difference between decidability and computability.

● Create a Turing machine based on a specified regular expression.

WHO THIS BOOK IS FOR

This book is suitable for undergraduate and graduate students in computer science, information technology and software engineering with a basic understanding of set theory and boolean logic.

TABLE OF CONTENTS

1. Finite Automata

2. Non-Deterministic Finite Automata

3. Regular Expressions

4. Context Free Grammar

5. Regular Language

6. Push Down Automata

7. Post Machines

8. Turing Machines

9. Computability and Undecidability

10. Complexity Theory: Advanced Perspective