S = | S T | S.
T = a S b | x.
a: "(".
b: ")".
x: "a" "b" "c" "d".
