What inspired the choice to focus on formal languages and automata in this book?
Around the Web·w zeszłym miesiącu

Introduction to the Theory of Computation

Introduction to the Theory of Computation
Dyskusja czytelników jest już otwarta. Zweryfikowany autor może dołączyć po zgłoszeniu tego profilu.
What inspired the choice to focus on formal languages and automata in this book?
Did anyone else find the proofs in the book particularly challenging but rewarding?
How do you think the explanations of Turing machines and decidability will influence students' view of what's computationally possible?