کتاب حل تشریحی تمرینهای مقدمه ای بر نظریه زبانها و ماشینها – ریاحی

کتاب حل تشریحی تمرینهای مقدمه ای بر نظریه زبانها و ماشینها تألیف مهندس علی ریاحی توسط انتشارات ناقوس به چاپ رسیده است.

نظریه محاسبات از سه بخش تئوری آتاماتا (Automata theory) یا نظریه ی زبان ها و ماشین ها و نظریه ی محاسبه پذیری (Computability theory) و نظریه  ی پیچیدگی  (Complexity) تشکیل شده است. تئوری آتاماتا تعاریف و خصوصیات مدل های ریاضی   محاسبات را ارائه می کند. این مدل ها نقش بسیار کلیدی در بسیاری از مباحث علوم کامپیوتر بازی می کنند. یک مدل که آتاماتای متناهی (Finit Automata) نام دارد،  در مباحث  Text  ,processing ,Compilers   hardware design کاربرد دارد و مدل دیگری که گرامرهای مستقل از متن (Context Free grammer)  هستند، در زبان های برنامه سازی و مباحث هوش مصنوعی کاربرد دارند. تئوری آتاماتا در واقع نقطه ی شروع مباحث نظری محاسبات است. مباحث تئوری محاسبه پذیری و پیچیدگی هر دو به تئوری آتاماتا مربوط اند. در نظریه محاسبه پذیری مدلی به نام ماشین تورینگ معرفی می گردد که ادعا می شود هر عملی که توسط کامپیوتر انجام پذیر است توسط این ماشین هم انجام پذیر می باشد و هم چنین در این نظریه مسائل قابل حل و غیرقابل حل هم شناخته می شوند و بسیاری از مفاهیم اولیه مرتبط با تئوری پیچیدگی نیز مطرح می گردند. اما در نظریه پیچیدگی مرتبه هر الگوریتم بررسی می شود. بدین ترتیب الگوریتم‌هایی مفیدترندکه مرتبه ی پایین تر و در نتیجه زمان و حجم محاسبه کمتری برای حل مسئله داشته باشند. بحث مطرح شده در کتاب “مقدمه ای بر نظریه زبانها و ماشینها” نوشته پیتر لینز مربوط به بحث تئوری آتاماتا و مقدمه ای بر نظریه های محاسبه پذیری و پیچیدگی می باشد که بهترین مرجع درس نظریه زبان ها و ماشین ها برای دانشجویان رشته مهندسی کامپیوتر و هم چنین علوم کامپیوتر می باشد. این کتاب تکنیک های مطرح شده در این علم  که عمدتاً مبتنی بر هوش و خلاقیت می باشد را به طور جامع مطرح می‌کند که البته بخش اعظمی از آن ها در غالب تمرین ها گنجانده شده است. مجموعه ی حاضر، حل تمرین های کتاب پیتر لینز از فصل اول تا فصل نهم می باشد. در این کتاب به بسیاری از تمرین هایی که در تکمیل قضایا آورده شده اند و یا مواردی از مطالب درسی که به تمرین ها اختصاص یافته اند، پرداخته شده و از این حیث متفاوت با یک کتاب حل تمرین معمولی می باشد.