Lecture Theory of Automata: Lesson 44. The main topics covered in this chapter include: decidability, whether a CFG generates certain string (emptiness), whether a nonterminal is used in the derivation of some word (uselessness), whether a CFL is finite (finiteness), whether the given string is generated by the given CFG (membership), parsing techniques, top down parsing,...