S -> 'a' E 'a'
S -> 'b' E 'b'
S -> 'a' F 'b'
S -> 'b' F 'a'

E -> 'x'
F -> 'x'