پایگاه فناوری اطلاعات

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

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

ایده هایی که در این کتاب بیان و مطرح می کنیم کاربردهای مهمی دارند. عرصه های طراحی دیجیتال، برنامه نویسی و کامپایلرها مثال های ساده ولی بسیار مختلف هستند. اصولی که ما در این جا مطالعه می کنیم مثل نخی بیشتر مفاهیم کامپیوتر از سیستم عامل تا شناسایی الگوها را به هم پبوند می زنند.

در این کتاب ما به مدلهایی نظر داریم که شکل درونی کامپیوترها را نشان می دهند و کابردشان را به نمایش می گذارند. برای مدل کردن سخت افزار یک کامپیوتر ما تصویری از یک ماشین(جمع آن ماشین ها) را معرفی می کنیم.

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

• مقدمات ریاضی و علامت گذاری
• یه مفهوم اساسی
• برخی کاربردها

• پذیرنده های متناهی فطعی
• پذیرنده های متناهی غیر قطعی
• معادل بودن پذیرنده های متناهی فطعی و غیر قطعی
• کاهش تعداد حالات در ماشین های متناهی

• عبارات منظم
• ارتباط بین عبارات منظم و زبان های منظم
• گرامرهای منظم

• خواص بستاری زبان های منظم
• سوالات مقدماتی درباره زبان های منظم
• تشخیص زبان های غیر منظم

فصل پنجم: زبان های مستقل از متن

• گرامرهای مستقل از متن
• تجزیه و ابهام
• گرامرهای مستفل از متن و زبان های برنامه نویسی

• روش های تبدیل گرامرها
• دو شکل نرمال مهم
• یک الگوریتم عضویت برای گرامرهای مستقل از متن

• ماشین های پشته ای غیر قظعی
• ماشین های پشته ای و زبان های مستقل از متن
• ماشین های پشته ای قطعی و زبان های مستقل از متن قطعی
• گرامرهایی برای زبان های مستقل از متن قطعی

• دولم تزریق
• خواص بستاری و الگوریتم های تصمیم گیری برای زبان های مستقل ازمتن

• ماشین تورینگ استاندارد
• ترکیب ماشین های تورینگ برای انجام وظایف پیچیدهتز تورینگ

• گونه های جزئی در زمینه ماشین تورینگ
• ماشین های تورینگ با حافظه پیچیده تر
• ماشین های تورینگ غیر قطعی
• یک ماشین تورینگ عمومی
• ماشین های کراندار خطی

فصل یازدهم: سلسله مراتبی از زبان های صوری و ماشین ها

• زبان های بازگشتی و شمارش پذیر بازگشتی
• گرامرهای بدون محدودیت
• گرامرها و زبان های حساس به متن
• سلسله مراتب چامسکی

• برخی مسائل که نمی توانند توسط ماشین تورینگ حل شوند
• مسائل تصمیم ناپذیر برای زبان های مستقل از متن

• توابع بازگشتی
• سیستم های پست
• سیستم هیا بازنویسی

• کارایی محاسبات
• ماشین های تورینگ و پیچیدگی
• خانواده های زبان و رده های پیچیدگی
• رده های پیچیدگی P و NP

جهار فصل اول این کتاب برای شما عزیزان در 120 صفحه قرار داده شد.

حجم فایل برای دانلود: 2 مگابایت

منبع: پوپول