Computes ordered *LR(1) tables. Potential conflicts are resolved by the given <code>lr1ConflictResolver</code>. The resulting tables represent a deterministic parser. Problems are marked via <code>symbolNode.position().markError(...)</code> (where <code>symbolNode</code> is an appropriate symbol occurence of the <code>grammar</code>. If no parser could be computed, <code>null</code> is returned.
Implementation of Pennello's and DeRemer's efficient LALR(1) look-ahead computation algorithm given an ("ordered") LR(0) machine. Covers some extensions to equip the generated LR parsers with automatic error correction according to
J. Röhrich: "Methods for the Automatic Construction of Error Correcting Parsers", Acta Informatica 13, 115--139 (1980).
@author SöKa