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

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

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

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

موضوع اصلی این کتاب، نظریه ی محاسبات است که مشتمل بر چند مبحث مانند: تئوری ماشین (آتاماتا)، زبان ها و گرامرهای صوری، محاسبه پذیری و پیچیدگی می باشد. این موارد در کنار هم، پایه ی نظری دانش کامپیوتر را تشکیل می دهند، دانش کامپیوتر یک رشته ی علمی کاربردی است.

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

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

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

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

 


فهرست


فصل1 - مقدمه ای بر نطریه محاسبات فصل 2- ماشین های متناهی فصل 3 – زبان های منظم و گرامرهای منظم فصل 4 – خواص زبان های منظم فصل 5 -  زبان های مستقل از متن فصل 6 – ساده سازی گرامرهای مستقل از متن و شکل های نرمال فصل 7 – ماشین های پشته ای فصل 8 – خواص زبان های مستقل از متن فصل 9 – ماشین های تورینگ فصل 10 – سایر مدل های ماشین های تورینگ فصل 11 – سلسه مراتب زبان های صوری و ماشین ها فصل 12 – محدوده ی محاسبات الگوریتمی فصل 13 – سایر مدل های محاسباتی فصل 14 – مقروری بر پیچیدگی محاسبات  

(ویرایش چهارم) مؤلف: پیتر لینز مترجمان: مهندس محمدرضا یمقانی - مهندس امین شکری - مهندس مریم جواهری انتشارات: سیمای دانش


ثبت دیدگاه


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

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

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

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