کتاب An Introduction to Formal Languages and Automata

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