Suppose we want to implement two-token-look-ahead parsing. Answer the following:

a. How would you modify the Tokenizer to allow for this? You do not have to write the (pseuo)code for the implementation; just explain what additional operations would have to be provided.

b. Would this allow us to avoid introducing square brackets for the production? Explain briefly.

:= l! (12) | [ && ]|[ or ] ::= ( ) (13) :: = ] +|- (14) :: = | * (15) :: = | () (16) ":= != | == | | = (17) :: = | | (18) ::= A | B | C | ... [X|Y|Z (19) = | (20) ::= 0|1|2|3|... | 9 (21)