Automata and Languages: Theory and Applications

Automata and Languages ​​توسعه گام به گام تئوری خودکارها، زبان ها و محاسبات را ارائه می دهد. در نظر گرفته شده است که به عنوان پایه یک دوره مقدماتی این نظریه در هر دو سطح مقدماتی و ارشد مورد استفاده قرار گیرد، متن به گونه ای سازماندهی شده است که امکان طراحی دوره های مختلف بر اساس مطالب انتخاب شده را فراهم می کند. حوزه های ارائه شده در این کتاب عبارتند از: - * مدل های اساسی محاسبات * زبان های رسمی و ویژگی های آنها * محاسبه پذیری، تصمیم پذیری و پیچیدگی * بحث در مورد روندهای مدرن در تئوری خودکار و زبان های رسمی * طراحی زبان های برنامه نویسی، از جمله توسعه یک زبان برنامه نویسی جدید * طراحی کامپایلر، شامل ساخت یک کامپایلر کامل الکساندر مدونا از تعاریف واضح، شواهد ساده و مثال های مفید برای درک مفاهیم مبهم سابق استفاده می کند. او همچنین شامل تمرین‌ها و پروژه‌های برنامه‌نویسی چالش‌برانگیز می‌شود تا درک خواننده را تقویت کند، و برای قرار دادن تئوری در چارچوب «دنیای واقعی»، تصاویر و کاربردهای واقع‌گرایانه زیادی را در علوم کامپیوتر عملی ارائه می‌کند.

Automata and Languages presents a step-by-step development of the theory of automata, languages and computation. Intended to be used as the basis of an introductory course to this theory at both junior and senior levels, the text is organized in such a way as to allow the design of various courses based on selected material. Areas featured in the book include:- * basic models of computation * formal languages and their properties * computability, decidability and complexity * a discussion of the modern trends in the theory of automata and formal languages * design of programming languages, including the development of a new programming language * compiler design, including the construction of a complete compiler Alexander Meduna uses clear definitions, easy-to-follow proofs and helpful examples to make formerly obscure concepts easy to understand. He also includes challenging exercises and programming projects to enhance the reader's comprehension, and, to put the theory firmly into a 'real world' context, he presents lots of realistic illustrations and applications in practical computer science.