What inspired the choice to focus on formal languages and automata in this book?
Around the Web·先月

Introduction to the Theory of Computation

Introduction to the Theory of Computation
読者同士のディスカッションは今すぐ開かれています。認証済み著者はこのプロフィールを申請後に参加できます。
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?