This document discusses how to compute the nullable, first, and follow sets for grammar symbols in order to build a predictive parser. It provides the base cases and inductive steps for computing each set iteratively. An example grammar is used to demonstrate computing the sets and reaching a fixed point after multiple rounds of induction.