s → (a c)|(b d)