Returns an unmodifiable List of the computed LR(0) machine's LRMachine.State objects. All states in this List are guaranteed to have distinct index values 0..(<i>n</i>-1) where <i>n</i> is the number of states in the List, and each state's index reflects the state's position in the List.
Computes an LR(0) machine from a given context-free grammar. The resulting LR(0) machine is "ordered" in the sense of
J. Röhrich: "Methods for the Automatic Construction of Error Correcting Parsers", Acta Informatica 13, 115--139 (1980).
@author SöKa