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