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