algorithm=LR; terminal a, b; S -> E & ~A B X & ~D C X & ~X A B & ~X D C; A -> X X A X | a; B -> X B X X | b; C -> X C X X | a; D -> X X D X | b; E -> E X X X | e; X -> a | b;