Automata, languages and programming

About this book

There is a long history of theoretical ideas in computer science that have led to major practical advances in experimental and applied computer science: for example, formal language and automata theory led to practical programming language design and parsing techniques, and number theoretic algorithms led to the development of public key cryptography forming the basis of many of the cryptographic protocols currently used on the internet.