Expand description
First set computation.
This module implements computation of the first sets for a grammar. The first set of a rule states all nonterminals that can appear as its first symbol. Since rules may contain other rules and epsilon items, computation is somewhat tricky.