Read Sipser §4.1 (Note: In this reading PDA stands for push-down-automata)
Compare and contrast the proof strategies of Theorem 4.4 and Theorem 4.8
The views and opinions expressed on individual web pages are strictly those of their authors and are not official statements of Grinnell College.
Copyright Statement.
