درس نظریه زبان ها و ماشین ها
نحوه ارزشیابی دانشجویان
1-امتحان میان ترم 6 نمره
***تاریخ امتحان میان ترم چهارشنبه 21 اردیبهشت ما 1390
2-حضور و غیاب کلاس و نظم و انضباظ کلاسی 1 نمره
**این یک نمره به دانشجویانی داده می شود که تا پایان ترم بیش از 2 جلسه غیبت نداشته باشند.
**حضور و غیاب به طور تصادفی در بعضی جلسات کلاس انجام خواهد شد.
3-حل تمرینات کلاسی و مشارکت در کلاس 1 نمره
4-امتحان پایان ترم 12 نمره
**تاریخ امتحان پایان ترم 9 خرداد ماه 1390
منابع درسی درس نظریه زبان ها و ماشین ها
1-
مرجع لاتین :
Languages And Machines: An Introduction To The Theory Of Computer Science
نوشته آقای توماس سود کمپ
درباره کتاب:
Book: Languages And Machines: An Introduction To The Theory Of Computer Science The third edition of "Languages and Machines: An Introduction to the Theory of Computer Science" provides readers with a mathematically sound presentation of the theory of computer science at a level suitable for junior and senior level computer science majors. The theoretical concepts and associated mathematics are made accessible by a "learn as you go" approach that develops an intuitive understanding of the concepts through numerous examples and illustrations. In this edition, the presentation has been enhanced by increasing the number of examples, expanding the selection of topics particularly in the area of computational complexity, and providing a flexible format giving instructors the ability to design their courses that concentrate on specific areas, such as automata theory, computability theory, or computational complexity
ترجمه:
| نویسنده: توماس سودکمپ |
| مترجم: سید حجت الله جلیلی |
| ناشر: پژوهشهای فرهنگی |
| تاریخ انتشار: اسفند 1382 |
| در این کتاب با مطالب زیر آشنا می شوید:
اين کتاب مشتمل بر سيزده فصل و سه ضميمه است که در آن به معرفي کامل
گرامرها، ماشينهاي اتنزاعي و روابط بين آنها مي پردازد. سازماندهي کتاب به
گونه اي است که مي تواند به عنوان بهترين مرجع دانشگاهي در نظر گرفته شود.
اين کتاب سالياني است که به عنوان اولين منبع درسي در دانشگاه معرفي مي گردد. دریافت pdf کتاب فارسی |
2-
مرجع لاتین:An Introduction to Formal Languages and Automata
ترجمه:
مراجع فارسی:هر ترجمه از این کتاب که در بازار باشد مانند
قدمه ای بر نظریه زبانها و ماشینها ~پیتر لینتس، عبدالحسین صراف زاده (مترجم)
--------------------------------------------------------------------------------------------------------------------------------------
******البته همان جور که میدانید شاید ترجمه کتاب های لاتین خیلی کامل نتواند مفید باشد ولی سعی خواهد شد در کلاس تمریناتی حل شود.
----------------------------------------------------------
خلاصه جزوه درس نظریه زبان ها و ماشین ها را از انتشارات دانشگاه تهیه کنید