I'm a bit confused by the role of the empty string in this ambiguous grammar:
A' -> A A -> if A B A -> null B -> [empty string] B -> else S
So what does B -> empty string mean/do? Does that mean B could transition to A? And "if", "else", and "null are terminals, then what is the empty string?