200 Problems on Languages, Automata, and Computation
Published on 12. April 2023
978-1-009-07557-2 (ISBN)
Description
Formal languages and automata have long been fundamental to theoretical computer science, but students often struggle to understand these concepts in the abstract. This book provides a rich source of compelling exercises designed to help students grasp the subject intuitively through practice. The text covers important topics such as finite automata, regular expressions, push-down automata, grammars, and Turing machines via a series of problems of increasing difficultly. Problems are organised by topic, many with multiple follow-ups, and each section begins with a short recap of the basic notions necessary to make progress. Complete solutions are given for all exercises, making the book well suited for self-study as well as for use as a course supplement. Developed over the course of the editors' two decades of experience teaching the acclaimed Automata, Formal Languages, and Computation course at the University of Warsaw, it is an ideal resource for students and instructors alike.
Reviews / Votes
'This book is just enormously fun. One can pick it up and quickly get lost in a fascinating problem. It's a book I would keep on my bookshelf and reach for when I have an exceptionally bright student I wish to challenge.' Anuj Dawar, University of Cambridge 'The book is a perfect companion for students and teachers in Languages, Automata, and Computation. It is written by leading experts in the field. The book is a pleasure to read and a sparkling source for significant problems of various levels of difficulty. The solutions are elegant and worked out in detail.' Volker Diekert, University of Stuttgart 'I began reading this book skeptical that I would find problems in it that I had not already seen. I was wrong. There are many great problems in this book, some for your students as homework, some to be the basis of lectures you will give your students ... and some for your own edification.' William Gasarch, SIGACT NewsMore details
Language
English
Place of publication
Cambridge
United Kingdom
Illustrations
Worked examples or Exercises
File size
9,13 MB
ISBN-13
978-1-009-07557-2 (9781009075572)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Filip Murlak | Damian Niwinski | Wojciech Rytter
200 Problems on Languages, Automata, and Computation
Book
04/2023
Cambridge University Press
€93.00
Shipment within 15-20 days
Filip Murlak | Damian Niwinski | Wojciech Rytter
200 Problems on Languages, Automata, and Computation
Book
04/2023
Cambridge University Press
€41.50
Shipment within 15-20 days
Persons
Content
Part I. Problems: 1. Words, numbers, graphs; 2. Regular languages; 3. Context-free languages; 4. Theory of computation; Part II. Solutions: 1. Words, numbers, graphs; 2. Regular languages; 3. Context-free languages; 4. Theory of computation; Further reading; Index.
