How to modify the definition of a string coherent with a situation?
The string S (of terminals and nonterminals) is coherent with the situation [K → U_V, t] (here t is a terminal or EOI) if U is a suffix of S, that is, if S = TU, and, moreover, T belongs to Left(K, t).