This is a chapter I spent quite a bit of time on while learning compiler principles. I'm writing this article to help other students learn and for my own reference.