مبانی نظریه محاسبه

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

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