در این درس با سه موضوع زبان، گرامر و ماشین آشنا می شوید. این کتاب آموزشی پیش نیاز درس طراحی کامپایلر است. با یادگیری زبان ها و گرامرها می توانید نحوه کار کامپایلر و همچنین طراحی زبان های برنامه سازی را متوجه شد. یادگیری این درس بدون مدرس کار ساده ای نمی باشد و ما در این آموزش تجربه حداقل پانزده سال تدریس این درس را در اختیار شما گذاشته ایم . نظریهٔ ماشین‌ها عبارت است از بررسی ریاضی ماشین‌های محاسبه‌گر انتزاعی و توانایی‌های آنها برای حل مسایل به این ماشین‌های انتزاعی اتوماتا گفته می‌شود این نظریه بسیار نزدیک به نظریهٔ زبان صوری است. به طوری که اتوماتا اغلب توسط دستهٔ زبان‌های رسمی قابل تشخیص دسته‌بندی می‌شوند.
اتوماتا نقش اساسی در طراحی کامپایلر و تجزیه کردن ایفا می‌کند. زبان‌هایی که توسط این ماشین‌ها بررسی می‌شوند زبان‌های فرمال هستند. در هر مرحله از زمان، ماشین یک ورودی که از مجموعه‌ای از نمادها یا حرف‌ها برداشته شده‌است را، می‌گیرد که به آن الفبا گفته می‌شود. یک ماشین حاوی مجموعهٔ متناهی از حالت‌هاست. در هر لحظه از اجرا بسته به نوع ماشین، می‌تواند در یکی یا چند تا از حالت‌هایش باشد. در هر مرحلهٔ زمانی، هنگامی که ماشین یک نماد را می‌خواند، بر اساس حالت فعلی و نماد خوانده شده به حالت بعدی پرش یا گذر می‌کند. ین تابع روی حالت فعلی و نماد ورودی تابع گذار گفته می‌شود. امیدواریم که از دانلود کتاب آموزش نظریه زبان ها و ماشین لذت ببرید .
فهرست سرفصل ها و رئوس مطالب مطرح شده :
فصل ۱ : عبارت منظم – زبان منظم
– عبارت منظم
– زبان
– اجتماع و اشتراک
– اتصال
– معکوس
– مکمل
– بستار
– هم ریختی
– تقسیم راست
– زبان منظم
– بسته بودن زبان های منظم
– لم تزریق
فصل ۲ : گرامر – گرامر منظم
– گرامر
– انواع گرامر
– زبان تولید شده توسط گرامر
– گرامر منظم
فصل ۳ : اتوماتای متناهی (DFA, NFA)
– انواع ماشین
– ماشین های متناهی
– پذیرنده متناهی معین (DFA)
– زبان ها و DFA ها
– حالت دام (تله)
– مکمل DFA
– پذیرنده متناهی نامعین ( NFA)
– هم ارزی DFA و NFA
– ارتباط گرامر منظم با ماشین متناهی
– کاهش تعداد حالات در ماشین های متناهی
– نحوه تشخیص منظم بودن یک زبان
فصل ۴ : زبان و گرامر مستقل از متن
– گرامر مستقل از متن
– گرامر ساده
– بسته بودن زبان های مستقل از متن
– لم تزریق برای زبان های مستقل از متن
– لم تزریق برای زبان های خطی
فصل ۵ : ابهام – ساده سازی گرامر – فرم های نرمال
– ابهام در گرامر و زبان
– ساده سازی گرامرهای مستقل از متن
– حذف متغیرها و قوانین بی فایده
– حذف قوانین
– حذف قوانین واحد
– فرم های نرمال گرامر مستقل از متن
– فرم نرمال چامسکی
– فرم نرمال گریباخ
فصل ۶ : اتوماتای پشته ای (DPDA, NPDA)
– اتوماتای پشته ای نامعین
– تابع انتقال
– پیکر بندی لحظه ای
– اتوماتای پشته ای معین
– تشخیص مستقل از متن بودن یک زبان
– زبان مستقل از متن معین
– ساخت اتوماتای پشته ای با استفاده از گرامر در فرم گریباخ
فصل ۷ : ماشین های تورینگ (TM)
– ماشین تورینگ استاندارد
– ماشین تورینگ در نقش پذیرنده زبان
– ماشین تورینگ به عنوان مترجم
– مدل های دیگر ماشین تورینگ
– سکون دار
– با نوار نیمه نامتناهی
– آف لاین
– با حافظه پیچیده تر
– چند نواره
– چند بعدی
– نامعین
– آتاماتای کراندار خطی (LBA)
فصل ۸ : زبان های بازگشتی – گرامر بدون محدویت و حساس به متن
– زبان های بازگشتی و بازگشتی شمارش پذیر
– گرامر بدون محدودیت
– گرامر حساس به متن
– ارتباط بین زبان ها، گرامرها و ماشین ها
– سلسله مراتب چامسکی
– بررسی بسته بودن زبان ها تحت عملگرها
فصل ۹ : تصمیم پذیری – کاهش پذیری
– زبان های تصمیم نا پذیر
– زبان های تصمیم پذیر
– تصمیم پذیری در زبان های منظم
– برشمارنده
– کاهش پذیری
مشخصات کتاب :
– نام کتاب : آموزش نظریه زبان ها و ماشین
– نویسنده : فرشید شیرافکن
– تعداد صفحات : 260
– فرمت کتاب : پی دی اف
مناسب برای :
– کنکور کارشناسی ارشد مهندسی کامپیوتر
– کنکور کارشناسی ارشد مهندسی فناوری اطلاعات IT))
– کنکور کارشناسی ارشد علوم کامپیوتر
– عموم علاقه مندان به یادگیری مباحث مهندسی کامپیوتر
شما از این پس می توانید کتاب های مورد نظرتان را در فروم دانلود فارسی ثبت نمایید
کتاب آموزش نظریه زبان ها و ماشین
لینک دانلود
کتاب واقعا عالی و فوق العاده بود ممنون ازتون
خواهش