 The already derived input formula_29, and yet unread formula_22 and formula_31 are strings of terminals.The Greek letters formula_32, formula_33 and formula_34 represent any string of both terminals and non-terminals (possibly empty).The prefix length corresponds to the lookahead buffer size, and the definition says that this buffer is enough to distinguish between any two derivations of different words.