دانلود جزوه کتاب ابزار دقیق.

➔ ⚡ ✦ **۱. مفاهیم پایه، الفبا و رشته‌ها:** تعریف الفبا ($Alphabet$)، کلمات، زبان‌ها، عملیات روی رشته‌ها (الحاق، توان و بست Kleene) و مدل‌های ریاضی محاسبات. 🔤📜  
➔ 🎬 ✦ **۲. زبان‌های با واسطه و گرامرهای مستقل از متن:** گرامرهای صوی ($Chomsky$ hierarchy)، دسته‌بندی گرامرهای نوع ۳ تا ۰ و بررسی تعاریف صوری گرامر. 📐🌐  
➔ 💫 ✦ **۳. ماشین‌های حالت متناهی و اتوماتای قطعی ($DFA$):** تعریف صوری اتوماتای متناهی قطعی، تابع انتقال، حالات پذیرش و رسم دیاگرام گذار حالات. 🎛️🔄  
➔ 🌀 ✦ **۴. اتوماتای متناهی غیرقطعی ($NFA$) و تبدیل‌ها:** بررسی اتوماتای غیرقطعی با گذارهای تهی ($\epsilon$-transitions) و الگوریتم تبدیل معادل $NFA$ به $DFA$. ⚡🔀  
➔ ✨ ✦ **۵. عبارت‌های منظم ($Regular\ Expressions$):** معادل‌سازی زبان‌های منظم با عبارت‌های منظم، قضیه کلین و تبدیل دوطرفه بین عبارت منظم و اتوماتای متناهی. 📝🧮  
➔ 🚀 ✦ **۶. خواص بستار و لم تزریق برای زبان‌های منظم:** اثبات نامنظم بودن زبان‌ها با لم تزریق ($Pumping\ Lemma$) و خواص بستار (اشتراک، اجتماع و مکمل). 🔍📉  
➔ 🔔 ✦ **۷. گرامرهای مستقل از متن ($CFG$) و درخت اشتقاق:** تعریف گرامر مستقل از متن، ابهام در گرامرها، درخت‌های اشتقاق و ساده‌سازی گرامرها (حذف تولیدات تهی و واحد). 🌳📋  
➔ 💎 ✦ **۸. اتوماتای پشته‌ای ($Pushdown\ Automata - PDA$):** مدل ماشین پشته‌ای برای پذیرش زبان‌های مستقل از متن، حالت‌های پذیرش با پشته خالی یا حالت نهایی. 🏗️📦  
➔ 🎯 ✦ **۹. ماشین تورینگ ($Turing\ Machine$):** تعریف مدل محاسباتی تورینگ، نوار دوطرفه نامتناهی، تابع انتقال، ماشین‌های تورینگ چندنواره و تصمیم‌پذیری. 💻⚙️  
➔ 🏁 ✦ **۱۰. مسائل تصمیم‌ناپذیر و هالتینگ ($Halting\ Problem$):** زبان‌های بازگشتی و بازگشتی شمارش‌پذیر، مسئله توقف و کاهش‌پذیری برای اثبات تصمیم‌ناپذیری مسائل. 🛑🧠