S -> x A y | x B y | x A z B -> k A w S | k
Initial symbol: S
Terminals: { k, w, x, y, z }
Input: xwxkyy