Apart from a procedure for each non-terminal we also needed an additional procedure named match . match advances to the next input token if its argument t matches the lookahead symbol.