کتابی که در پیش رو دارید ، در ویراست هفتم خود به سر می برد و برای درس نظریه زبان ها و ماشین ها تالیف شده است که برای دانشجویان علوم کامپیوتر و مهندسی کامپیوتر ارائه می شود.
پیش نیاز این درس، آشنایی با چند زبان سطح بالا مثل C++، C، پایتون یا جاوا و نیز آشنایی با مبانی ساختمان داده ها و الگوریتم ها است. آشنایی با ریاضیات گسسته ضروری است که شامل نظریه ی مجموعه ها، توابع، رابطه ها، منطق و عناصر استدلال ریاضی می شود. این کتاب در 17 فصل و سه پیوست تنظیم شده است. فصل های 1 تا 14 و سه پیوست ترجمه شده اند ولی فصل های 15، 16 و 17 به دلیل عدم تدریس آن ها در درس نظریه زبان ها و ماشین ها ترجمه نشده اند. این مباحث ببیشتر در درس کامپایلر مورد بحث و بررسی قرار می گیرند.