ویرایش ششم کتاب An Introduction to Formal Languages and Automata پیتر لینز، برای یک دوره مقدماتی در مورد زبان‌های صوری، ماشین‌های خودکار، محاسبه پذیری و موضوعات مرتبط است. همچنین این مباحث بخش عمده ای از آنچه که به عنوان نظریه محاسبات شناخته می‌شود را تشکیل می‌دهند. یک دوره در مورد این موضوع، اکنون در برنامه درسی علوم کامپیوتر استاندارد است و اغلب نسبتاً در اوایل برنامه تدریس می‌شود. از این رو، مخاطبان احتمالی برای این کتاب در درجه اول شامل دانشجویان سال دوم و جوانانی می‌شود که در رشته‌های علوم کامپیوتر یا مهندسی کامپیوتر تحصیل می‌کنند.

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

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

ویژگی‌های ویرایش ششم کتاب مقدمه ای بر زبان‌های صوری و ماشین‌های خودکار:

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