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

• دریافت