Find and prove the connection between the notions of LR(0)-coherence and LR(1)-coherence.
Assume that a grammar is fixed. The string S of terminals and
nonterminals is LR(0)-coherent with situation K → U_V if and only if it is LR(1)- coherent with the pair [K → U_V, t] for some terminal t (or for t = EOI). In other words, Left(K) is the union of the sets Left(K, g) for all t. (In the latter form, the statement is almost obvious.)