توضیحات
کتاب نظریه زبان ها و ماشین ها
معرفی کتاب نظریه زبان ها و ماشین ها
مروری بر کتاب نظریه زبان ها و ماشین ها
در کتاب حاضر که برای مطالعه ی دانشجویان رشته ی کامپیوتر تدوین گردیده سه موضوع اساسی نظریه ی محاسبات و علوم کامپیوتر ریاضیات، مهندسی و زبان شناسی تحت پاره ای از این عناوین بررسی گردیده است: ماشین ها و زبان های مجرد، معرفی گرامرهای رسمی شامل جملات و گرامرهای تولیدکننده ی آن جملات، معرفی ماشین ها و زبان های حالت محدود، بررسی محدودیت ها اتوماتای حالت محدود، گرامرها و زبان های آزاد از متن و تحلیل نحوی آن ها، معرفی ماشین تورینگ، مسائل لاینحل که هیچ راه حل کارآمدی برای آن ها وجود ندارد، و سیستم های دستکاری رشته ای پست.
این کتاب سه موضوع اساسی نظریه محاسبات و علم کامپیوتر-ریاضیات، مهندسی و زبان شناسی- را مورد بررسی و موشکافی قرار میدهد.
این موضوعات به صورت زیر طبقهبندی و ارائه شدهاند:
-ماشینها و زبانهای مجرد
-مروری بر منطق، تئوری مجموعه و زبانها
-معرفی گرامرهای رسمی شامل جملات و گرامرهای تولیدکننده آن جملات
-معرفی ماشینها و زبانهای حالت محدود
-بررسی محدودیتهای اتوماتای حالت محدود
-معرفی اتوماتای نواردار و پشتهای و رسیدن به این نتیجه که برای قدرت بیشتر به حافظه نیاز داریم .
-گرامرها و زبانهای آزاد از متن و تحلیل نحوی آنها
-معرفی ماشین تورینگ
-مسایل حل ناپذیر که هیچ راه حل کارآمدی برای آنها وجود ندارد.
-توابع بازگشتی و مطالعه سه کلاس توابع بازگشتی، اولیه، چندگانه
-و در انتها سیستمهای دستکاری رشتهای پست
مطالعه این کتاب جزیی ضروری برای هر دوره تحصیلی علم کامپیوتر به شمار میرود .مطالعه آن را به همه دانشجویان رشته کامپیوتر و علاقمندان توصیه میکنیم.
درباره نویسنده
پیتر جی. دنینگ زادهٔ ۶ ژانویهٔ ۱۹۴۲ ، پژوهشگر، نویسنده، دانشمند رایانه و مدرس دانشگاه اهل ایالات متحده آمریکا است، که هماکنون بعنوان استاد دانشگاه پرینستون، دانشگاه پردو، مرکز تحقیقات ایمز، دانشگاه جرج میسون و مدرسه عالی نیروی دریایی فعالیت میکند. دنینگ از پیشگامان اینترنت بشمار میآید. وی بعلت پژوهشهای گسترده و نظریاتش در حوزههای حافظه مجازی، مجموعه کاری، کوبیدگی و سیستمهای عامل، شناخته میشود.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.