loader-img
loader-img-2
کتابانه
کتابانه

کتاب مقدمه ای بر نظریه زبان ها و ماشین ها - لینز | صراف زاده

5 / -
دسته بندی :

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

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

 


فهرست


فصل 1: مقدمه ای بر نظریه محاسبات مقدمات ریاضی توابع و روابط روش های اثبات    فصل 2: ماشین های متناهی پذیرنده متناهی معین تعریف رسمی یک پذیرنده متناهی معین زبان های منظم تعریف پذیرنده نامعین چرا نامعین؟ فصل 3: زبانهای منظم و گرامرهای منظم عبارات منظم تعریف رسمی عبارت منظم زبان های مرتبط با عبارات منظم عبارت منظم زبان های منظم را نمایش می دهند گرامرهای منظم هم ارزی زبان های منظم و گرامرهای منظم فصل 4: خواص زبان های منظم خواص بستاری زبان های منظم بستار تحت سایر عملیات استفاده از اصل لانه کبوتری لم تزریق فصل 5: زبان های مستقل از متن گرامرهای مستقل از متن اشتقاق چپ و راست درخت اشتقاق پویش و ابهام پویش و عضویت زبان های مستقل از متن و زبان های برنامه سازی   فصل 6: ساده سازی گرامرهای مستقل از متن و فرم های نرمال روش های تبدیل گرامرها یک قانون جایگزینی سودمند حذف قانون یکه دو فرم نرمال مهم فرم نرمال گریباخ یک الگوریتم عضویت برای گرامرهای مستقل از متن   فصل 7: ماشین پشته ای ماشین پشته ای نامعین تعریف ماشین پشته ای ماشین پشته ای و زبان های مستقل از متن گرامرهای مستقل از متن برای ماشین های پشته ای گرامرهای زبان های مستقل از متن معین فصل 8: خواص زبان های مستقل از متن دو لم تزریق لم تزریق برای زبان های مستقل از متن بستار زبان های مستقل از متن خواص تصمیم پذیر زبان های مستقل از متن فصل 9: ماشین های تورینگ ماشیم تورینگ استاندارد تعریف ماشین تورینگ ماشین تورینگ به  عنوان تبدیل کننده تز تورینگ فصل 10: مدل های دیگر ماشین تورینگ تغییرات جزئی در موضوع ماشین تورینگ ماشین های تورینگ با گزینه توقف ماشین تورینگ با حافظه پیچیده تر ماشین تورینگ دو بعدی ماشین های کراندار خطی    فصل 11: سلسله مراتب زبان ها و ماشین ها زبان های بازگشتی و زبان های به طور بازگشتی شمارش پذیر زبان هایی که به طور بازگشتی شمارش پذیر نیستند گرامرهای نامحدود گرامرها و زبان های حساس به متن سلسله مراتب چامسکی فصل 12: محدوده محاسبات الگوریتمی تصمیم پذیری و محاسبه پذیری ساده کردن یک مسئله تصمیم ناپذیر به یک مسئله دیگر مسئله تناظر پست مسئله کارایی فصل 13: دیگر مدل های محاسبات توابعی بازگشتی توابع بازگشتی پایه تابع اکرمن سیستم های پست الگوریتم های مارکاو فصل 14: مقدمه ای بر پیچیدگی های محاسباتی کارایی محاسبات مدل های ماشین تورینگ و پیچیدگی خانواده های زبان ها و کلای های پیچیدگی کاهش زبان چند جمله ای آ: تبدیل کننده حالت متناهی چارچوب کلی ماشین های میلی ماشین های مور هم ارزی ماشین مور و میلی مینیمم کردن ماشین میلی مینیمم کردن ماشین مور محدودیت های تبدیل کننده های حالت متناهی ب: JFLAP پاسخ ها مراجع واژه نامه

برشی از متن کتاب


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

نویسنده: پیتر لینز مترجمان: عبدالحسین صراف زاده - عبدالله ناصری - شهلا ناصری انتشارات: نشر دانشگاهی کیان


ثبت دیدگاه


دیدگاه کاربران

اولین کسی باشید که دیدگاهی برای "کتاب مقدمه ای بر نظریه زبان ها و ماشین ها - لینز | صراف زاده" می نویسد

آخرین بازدید های شما

۷ روز ضمانت بازگشت وجه ۷ روز ضمانت بازگشت وجه
ضمانت اصالت کالا ضمانت اصالت کالا
۷ روز هفته ۲۴ ساعته ۷ روز هفته ۲۴ ساعته
امکان پرداخت در محل امکان پرداخت در محل
امکان تحویل در محل امکان تحویل در محل