نظریه زبان ها و ماشین ها(اتوماتها) یکی از دروس تخصصی کلیه رشته های کامپیوتر است که معمولا از روی کتاب An Introduction to Formal Languages and Automata نوشته ی پیتر لینز تدریس می شود و یکی از درس هایی است که کمی گنگ و گاهی بی مصرف به نظر می آید . انتشارات ناقوس اندیشه این کتاب رو منتشر کرده و حتی کتاب حل تمرینات داخل این کتاب هم جداگانه توسط نشر ناقوس چاپ شده است .البته ما در این پست قصد ارائه خود این کتاب را نداریم و به یکی از جزوات کامپیوتری و الکترونیک موجود بر روی وب که در واقع چکیده کاملی از آن است بسنده خواهیم کرد.
· ماشین تورینگ
· آتاماتای متناهی
· آتاماتای پشته ای
· زبان و گرامر منظم
· مقدمه ای بر محاسبات
· خواص زبان های منظم
· زبان های مستقل از متن
· خواص زبان های مستقل از متن
· ساده سازی گرامر و فرم های نرمال
و…
