BIGProductions TRansitionGraph and Finite Automaton for LR(1) items
(with lookahead set based on first1)!!!!