Grammar lr1; Parser p = q 'a' q 'b' | r 'a'; q = 'x'; r = 'x';