Typos and a brief CFG vs Regular language discussion

I was reading through and I thought I could ship some small errata your way via a pull request.