Table of Contents

Automata: Theory, Trends, and Applications

Authors:Alexander Meduna and Tomáš Kožár
Title:Automata: Theory, Trends, and Applications
Publisher:World Scientific Publishing
ISBN:978-9811278129
Publication Date:2023
Details:Hardcover, 418 pages
Official Book Website:https://www.worldscientific.com/worldscibooks/10.1142/13464#t=aboutBook

Authors

Alexander MedunaAlexander Meduna is Full Professor of Computer Science at the Brno University of Technology, Czech Republic. He has taught mathematics and computer science at various European, Asian, and American universities, including the University of Missouri, USA, where he spent a decade teaching advanced topics of the formal language theory and its applications in computer science. He is the author of several computer science books and many papers on the topic.



Tomáš KožárTomáš Kožár is a distinguished PhD Student supervised by Alexander Meduna at the Faculty of Information Technology, Brno University of Technology, Czech Republic.




Book

About this book

This computer science book gives an in-depth account of the theory of automata and computation. It also covers modern trends in automata theory. Furthermore, the text maintains a balance between a theoretical and practical approach to its subject by presenting many applications of automata. It is meant as a monograph as well as the basis of a one-term course on this subject at the graduate level.

First and foremost, this computer science book gives an account of the classical automata theory, including finite automata, pushdown automata, and Turing machines. Simultaneously, it pays a special attention to the consequences following from this theory in terms of computability, decidability, and complexity. In this way, it explains the fundamentals of the theory of computation. Second, it overviews currently active trends in automata theory, such as jumping, deep pushdown, and regulated automata. Finally, the book also describes real practical use of automata in a variety of scientific areas, ranging from programming language processing through natural language syntax analysis up to computational musicology.

As far as the style of presentation is concerned, this book primarily represents a theoretically oriented treatment of automata and computability. All the formalisms concerning automata are introduced with enough rigor to make all results quite clear and valid. Every complicated mathematical passage is preceded by its intuitive explanation so that even the most complex parts of the book are easy to grasp. Secondarily, containing many useful algorithms, the present book also demonstrates how automata underlie several computer-science engineering techniques.

Teaching materials

Errata

List of Errors


The authors' thanks go to the readers who pointed out the errors.